Order Total (1 Item Items):
Shipping Destination:
Introduction Mathematical Logic Type by Andrews Peter (43 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (43)
- 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 Learn more
- New (32)
- As New, Fine or Near Fine (5)
- Very Good or Good (6)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
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 (15)
- Not Print on Demand (34)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
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.
-
An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Published by Elsevier Science & Technology Books, 1986
ISBN 10: 0120585359 ISBN 13: 9780120585359
Language: English
Condition: 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)
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.
-
Hardcover. Condition: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.6.
-
Paperback. Condition: new. Paperback. 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. This expressive notation facilitates proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs.A computer program called ETPS which is available from the web facilitates doing and checking such exercises. Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification. An introduction to mathematical logic that starts with propositional calculus and first-order logic. It covers topics such as: syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, and, Skolemization. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Condition: New.
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series)
Condition: New.
-
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
Hardcover. Condition: Very good. Applied Logic Series 27. xviii, 389 p. 24 cm. B&w figures. Some light soiling to exterior.
-
Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 80.55
Convert currency£ 15 shipping from United Kingdom to 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)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 84.13
Convert currency£ 11.98 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 (Applied Logic Series)
Condition: 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
£ 69.90
Convert currency£ 31.28 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketgebundene Ausgabe. Condition: Gut. Applied Logic Series, Band 27. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Einband leicht verschmutzt, Frontschnitt mit Flecken. XVIII, 390 Seiten, Englisch 730g.
-
£ 84.46
Convert currency£ 15.49 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
Condition: New. pp. 414.
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
£ 107.07
Convert currency£ 9.14 shipping from Ireland to U.S.A.Quantity: 15 available
Add to basketCondition: New. 2010. Paperback. . . . . .
-
Condition: New.
-
Condition: New.
-
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
An Introduction to Mathematical Logic and Type Theory (Hardcover)
Published by Kluwer Academic Publishers, New York, NY, 2002
ISBN 10: 1402007639 ISBN 13: 9781402007637
Language: English
Hardcover. Condition: new. Hardcover. 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. This expressive notation facilitates proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs.A computer program called ETPS which is available from the web facilitates doing and checking such exercises. An introduction to mathematical logic that starts with propositional calculus and first-order logic. It is of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
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
£ 118.42
Convert currency£ 11.98 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New. 2010. Paperback. . . . . . Books ship from the US and Ireland.
-
An Introduction to Mathematical Logic and Type Theory
Published by Springer Netherlands, Springer Netherlands Dez 2010, 2010
ISBN 10: 9048160790 ISBN 13: 9789048160792
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
£ 86.29
Convert currency£ 52.20 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series)
£ 119.04
Convert currency£ 25 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
Published by Springer Netherlands, Springer Netherlands, 2010
ISBN 10: 9048160790 ISBN 13: 9789048160792
Language: English
£ 90.46
Convert currency£ 54.91 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering.
-
Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 133.99
Convert currency£ 15 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
£ 126
Convert currency£ 25 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
-
Condition: As New. Unread book in perfect condition.
-
Condition: New. pp. 412 2nd Edition.
-
An Introduction to Mathematical Logic and Type Theory
Published by Springer Netherlands, Springer Netherlands Jul 2002, 2002
ISBN 10: 1402007639 ISBN 13: 9781402007637
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
£ 124.64
Convert currency£ 52.20 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketBuch. Condition: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.
-
£ 154.63
Convert currency£ 27.71 shipping from Australia to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: new. Paperback. 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. This expressive notation facilitates proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs.A computer program called ETPS which is available from the web facilitates doing and checking such exercises. Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification. An introduction to mathematical logic that starts with propositional calculus and first-order logic. It covers topics such as: syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, and, Skolemization. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
