An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Andrews, Peter B.
ISBN 10: 9048160790 ISBN 13: 9789048160792
Published by Springer, 2010
New
Soft cover
From
Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 9 October 2009
This specific item is no longer available.
About this Item
Description:
2010. Paperback. . . . . . Books ship from the US and Ireland. Seller Inventory # V9789048160792
Synopsis:
In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com for more information.
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: An Introduction to Mathematical Logic and ...
Publisher: Springer
Publication Date: 2010
Binding: Soft cover
Condition: New
Edition: 2nd Edition
Top Search Results from the AbeBooks Marketplace
Seller Image
An Introduction to Mathematical Logic and Type Theory
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: 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. Seller Inventory # 5819932
Quantity: Over 20 available
Seller Image
Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 11873722-n
Quantity: 15 available
Stock Image
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Apr0316110337472
Quantity: Over 20 available
Stock Image
An Introduction to Mathematical Logic and Type Theory (Paperback)
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
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. Seller Inventory # 9789048160792
Quantity: 1 available
Seller Image
Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 11873722-n
Quantity: Over 20 available
Stock Image
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
Condition: New. In. Seller Inventory # ria9789048160792_new
Quantity: Over 20 available
Stock Image
An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9789048160792
Quantity: 10 available
Seller Image
An Introduction to Mathematical Logic and Type Theory
Published by
Springer Netherlands, Springer Netherlands Dez 2010, 2010
ISBN 10: 9048160790
ISBN 13: 9789048160792
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch. Seller Inventory # 9789048160792
Quantity: 2 available
Seller Image
An Introduction to Mathematical Logic and Type Theory
Published by
Springer Netherlands Dez 2010, 2010
ISBN 10: 9048160790
ISBN 13: 9789048160792
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 412 pp. Englisch. Seller Inventory # 9789048160792
Quantity: 2 available
Seller Image
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
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering. Seller Inventory # 9789048160792
Quantity: 1 available