Order Total (1 Item Items):
Shipping Destination:
Introduction Mathematical Logic Type by Andrews Peter (25 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (25)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (7)
- Not Print on Demand (20)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Published by Elsevier Science & Technology Books, 1986
ISBN 10: 0120585367 ISBN 13: 9780120585366
Language: English
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
US$ 17.04
Convert currencyUS$ 10.62 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Introduction to Mathematical Logic and Type Theory. to Truth through Proof
Seller: True Oak Books, Highland, NY, U.S.A.
Association Member: IOBA
Seller rating 5 out of 5 stars
Paperback. Condition: 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.
-
Hardcover. Condition: Very Good. This book is in very good condition; no remainder marks. It does have some cover shelfwear. Inside pages are clean. ; Applied Logic Series, 27; 156 X 25.4 X 234 millimeters; 408 pages.
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series)
Seller: Wonder Book, Frederick, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: 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
Published by Kluwer Academic Publishers, Dordrecht, The Netherlands, 2002
ISBN 10: 1402007639 ISBN 13: 9781402007637
Language: English
Seller: Attic Books (ABAC, ILAB), London, ON, Canada
Seller rating 5 out of 5 stars
US$ 100.00
Convert currencyUS$ 8.25 shipping from Canada to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Very good. Applied Logic Series 27. xviii, 389 p. 24 cm. B&w figures. Some light soiling to exterior.
-
US$ 106.09
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, Band 27).
Published by Kluwer Academic Publishers, 2002
ISBN 10: 1402007639 ISBN 13: 9781402007637
Language: English
US$ 74.81
Convert currencyUS$ 40.70 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketgebundene Ausgabe. Applied Logic Series, Band 27. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Einband leicht verschmutzt, Frontschnitt mit Flecken. XVIII, 390 Seiten, Englisch 730g.
-
US$ 111.54
Convert currencyUS$ 20.56 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
Condition: New.
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 119.23
Convert currencyUS$ 15.90 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Published by Springer Netherlands, Springer Netherlands, 2010
ISBN 10: 9048160790 ISBN 13: 9789048160792
Language: English
US$ 114.75
Convert currencyUS$ 35.21 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering.
-
US$ 147.93
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series)
US$ 163.18
Convert currencyUS$ 13.27 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 2nd edition. 408 pages. 9.25x6.00x1.00 inches. In Stock.
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 161.86
Convert currencyUS$ 15.90 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 157.66
Convert currencyUS$ 33.18 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Very Good. Very Good. book.
-
An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Published by Springer Netherlands, 2002
ISBN 10: 1402007639 ISBN 13: 9781402007637
Language: English
US$ 164.15
Convert currencyUS$ 36.36 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketBuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering.
-
US$ 172.23
Convert currencyUS$ 33.18 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
-
US$ 229.64
Convert currencyUS$ 33.18 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Like New. Like New. book.
-
AN INTRODUCTION TO MATHEMATICAL LOGIC AND TYPE THEORY: TO TRUTH THROUGH PROOF.
Seller: Antiquariaat Van Veen, Veelerveen, Netherlands
Seller rating 5 out of 5 stars
US$ 34.41
Convert currencyUS$ 27.74 shipping from Netherlands to U.S.A.Quantity: 1 available
Add to basketUSA, 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
Published by Springer Netherlands Dez 2010, 2010
ISBN 10: 9048160790 ISBN 13: 9789048160792
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
US$ 112.29
Convert currencyUS$ 26.04 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 412 pp. Englisch.
-
An Introduction to Mathematical Logic and Type Theory
Published by Springer Netherlands, 2010
ISBN 10: 9048160790 ISBN 13: 9789048160792
Language: English
US$ 94.97
Convert currencyUS$ 55.47 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Facilitates proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understandThe discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important i.
-
An Introduction to Mathematical Logic and Type Theory
Published by Springer Netherlands Jul 2002, 2002
ISBN 10: 1402007639 ISBN 13: 9781402007637
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
US$ 162.20
Convert currencyUS$ 26.04 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketBuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 412 pp. Englisch.
-
An Introduction to Mathematical Logic and Type Theory
Published by Springer Netherlands, 2002
ISBN 10: 1402007639 ISBN 13: 9781402007637
Language: English
US$ 134.87
Convert currencyUS$ 55.47 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Facilitates proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understandThe discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important i.
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Published by Springer-Verlag New York Inc., 2002
ISBN 10: 1402007639 ISBN 13: 9781402007637
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 189.19
Convert currencyUS$ 19.34 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 782.
