2001, ISBN: 9789400703193
[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the e… Altro …
booklooker.de |
2011, ISBN: 9789400703193
Springer, Gebundene Ausgabe, Auflage: 2011, 296 Seiten, Publiziert: 2011-01-17T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 2.89 kg, Verkaufsrang: 20178, Informatik, IT-Ausb… Altro …
amazon.de Brook Bookstore Costi di spedizione:Gewöhnlich versandfertig in 2 bis 3 Wochen. De verzendkosten kunnen afwijken van de werkelijke kosten. (EUR 3.00) Details... |
2011, ISBN: 9400703198
Gebundene Ausgabe Mathematik / Logik, Mathematik / Informatik, Computer, Theoretische Informatik, Programmier- und Skriptsprachen, allgemein, mit Schutzumschlag 11, [PU:Springer-Verlag G… Altro …
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2011, ISBN: 9400703198
[EAN: 9789400703193], Tweedehands, goed, [SC: 46.06], [PU: Springer], Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within, Books
AbeBooks.co.uk Books Unplugged, Amherst, NY, U.S.A. [74050220] [Beoordeling: 5 (van 5)] NOT NEW BOOK. Costi di spedizione: EUR 46.06 Details... |
2011, ISBN: 9789400703193
Hard cover, New., 290 p. Trends in Logic , 34. VI, 290 p. Intended for professional and scholarly audience., Dordrecht, [PU: Springer]
alibris.co.uk |
2001, ISBN: 9789400703193
[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the e… Altro …
Baaz, Matthias, Leitsch, Alexander:
Methods of Cut-Elimination (Trends in Logic, 34, Band 34) - copertina rigida, flessible2011, ISBN: 9789400703193
Springer, Gebundene Ausgabe, Auflage: 2011, 296 Seiten, Publiziert: 2011-01-17T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 2.89 kg, Verkaufsrang: 20178, Informatik, IT-Ausb… Altro …
2011
ISBN: 9400703198
Gebundene Ausgabe Mathematik / Logik, Mathematik / Informatik, Computer, Theoretische Informatik, Programmier- und Skriptsprachen, allgemein, mit Schutzumschlag 11, [PU:Springer-Verlag G… Altro …
2011, ISBN: 9400703198
[EAN: 9789400703193], Tweedehands, goed, [SC: 46.06], [PU: Springer], Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within, Books
2011, ISBN: 9789400703193
Hard cover, New., 290 p. Trends in Logic , 34. VI, 290 p. Intended for professional and scholarly audience., Dordrecht, [PU: Springer]
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Methods of Cut-Elimination (Trends in Logic, 34, Band 34)
EAN (ISBN-13): 9789400703193
ISBN (ISBN-10): 9400703198
Copertina rigida
Anno di pubblicazione: 2011
Editore: Springer
287 Pagine
Peso: 0,578 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2008-09-25T21:54:20+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2023-07-07T10:17:27+02:00 (Rome)
ISBN/EAN: 9789400703193
ISBN - Stili di scrittura alternativi:
94-007-0319-8, 978-94-007-0319-3
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : leitsch, matthias willing, alexander, baaz
Titolo del libro: cut, methods logic, oetker backbuch
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9789400703216 Methods of Cut-Elimination (Matthias Baaz, Alexander Leitsch)
< Per archiviare...