Importo totale (1 articolo articoli):
Destinazione ordine:
introduction mathematical logic type di andrews peter (39 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (39)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (28)
- Come nuovo, Ottimo o Quasi ottimo (4)
- Molto buono o Buono (6)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (1)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (15)
- Non Print on Demand (29)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Introduction to Mathematical Logic and Type Theory. to Truth through Proof
Da: True Oak Books, Highland, NY, U.S.A.
Membro dell'associazione: IOBA
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. Computer Science & Applied Mathematics; Foxing to exterior edge of pages. - Good overall condition. General wear. No major blemishes. No writing. ; - We're committed to your satisfaction. We offer free returns and respond promptly to all inquiries. Your item will be carefully wrapped in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.
-
An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Editore: Elsevier Science & Technology Books, 1986
ISBN 10: 0120585359 ISBN 13: 9780120585359
Lingua: Inglese
Da: Better World Books: West, Reno, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series)
Da: Wonder Book, Frederick, MD, U.S.A.
Membro dell'associazione: ABAA ILAB
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Very Good condition. Applied Logic Series 27. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp. NOT AVAILABLE FOR SHIPMENT OUTSIDE OF THE UNITED STATES.
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Condizione: New. SUPER FAST SHIPPING.
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Editore: Kluwer Academic Publishers, Dordrecht, The Netherlands, 2002
ISBN 10: 1402007639 ISBN 13: 9781402007637
Lingua: Inglese
Da: Attic Books (ABAC, ILAB), London, ON, Canada
Membro dell'associazione: ABAC ILAB
Valutazione del venditore 5 su 5 stelle
EUR 88,89
EUR 12,95 per la spedizione da Canada a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very good. Applied Logic Series 27. xviii, 389 p. 24 cm. B&w figures. Some light soiling to exterior.
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 98,36
EUR 13,60 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 98,35
EUR 17,03 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 98,75
EUR 17,58 per la spedizione da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, Band 27).
Editore: Kluwer Academic Publishers, 2002
ISBN 10: 1402007639 ISBN 13: 9781402007637
Lingua: Inglese
Da: Antiquariat Bernhardt, Kassel, Germania
Valutazione del venditore 5 su 5 stelle
EUR 78,00
EUR 35,95 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellogebundene Ausgabe. Condizione: Gut. Applied Logic Series, Band 27. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Einband leicht verschmutzt, Frontschnitt mit Flecken. XVIII, 390 Seiten, Englisch 730g.
-
Condizione: New. SUPER FAST SHIPPING.
-
An Introduction to Mathematical Logic and Type Theory
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 414.
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 131,50
EUR 3,44 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
Da: BennettBooksLtd, San Diego, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title!
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 138,45
EUR 13,60 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 140,87
EUR 14,19 per la spedizione da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2nd edition. 408 pages. 9.25x6.00x1.00 inches. In Stock.
-
EUR 84,60
EUR 70,00 per la spedizione da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. An Introduction to Mathematical Logic and Type Theory | To Truth Through Proof | Peter B. Andrews | Taschenbuch | xviii | Englisch | 2010 | Springer Netherland | EAN 9789048160792 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
An Introduction to Mathematical Logic and Type Theory
Editore: Springer Netherlands, Springer Netherlands Dez 2010, 2010
ISBN 10: 9048160790 ISBN 13: 9789048160792
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 96,29
EUR 60,00 per la spedizione da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.
-
An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Editore: Springer Netherlands, Springer Netherlands, 2010
ISBN 10: 9048160790 ISBN 13: 9789048160792
Lingua: Inglese
EUR 100,94
EUR 63,11 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering.
-
Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 156,66
EUR 17,03 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series (27))
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 147,32
EUR 28,38 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
-
Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
An Introduction to Mathematical Logic and Type Theory
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 412 2nd Edition.
-
An Introduction to Mathematical Logic and Type Theory
Editore: Springer Netherlands, Springer Netherlands Jul 2002, 2002
ISBN 10: 1402007639 ISBN 13: 9781402007637
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 139,09
EUR 60,00 per la spedizione da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.
-
An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Editore: Springer Netherlands, Springer Netherlands, 2002
ISBN 10: 1402007639 ISBN 13: 9781402007637
Lingua: Inglese
EUR 143,31
EUR 64,12 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering.
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 204,61
EUR 28,38 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. Like New. book.
-
AN INTRODUCTION TO MATHEMATICAL LOGIC AND TYPE THEORY: TO TRUTH THROUGH PROOF.
Da: Antiquariaat Van Veen, Veelerveen, Paesi Bassi
Valutazione del venditore 3 su 5 stelle
EUR 29,50
EUR 24,50 per la spedizione da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloUSA, Academic Press, 1986. 1st edition 304 pp. Pb with dustjacket . This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan"s Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand"s Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. very good condition.
-
An Introduction to Mathematical Logic and Type Theory
Editore: Springer Netherlands Dez 2010, 2010
ISBN 10: 9048160790 ISBN 13: 9789048160792
Lingua: Inglese
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 96,29
EUR 23,00 per la spedizione da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 412 pp. Englisch.
