Articles liés à An Introduction to Mathematical Logic and Type Theory:...
Synopsis
IN-8 DE 304 PAGES - ACADEMIC PRESS INC. 1986 - "COMPUTER SCIENCE AND APPLIED MATHEMATICS" SERIES - "AN INTRODUCTION TO MATHEMATICAL LOGIC AND TYPE THEORY : TO TRUTH TROUGH PROOF" BY PETER B. ANDREWS OF CARNEGIE MELLON UNIVERSITY - PENNSYLVANIA - OUVRAGE EN BON ETAT, UN PETIT PLI EN COUVERTURE, SOIGNEUSEMENT COUVERT / REF 2154 -JOLO
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer-Verlag New York Inc.
- Date d'édition2002
- ISBN 10 1402007639
- ISBN 13 9781402007637
- ReliureRelié
- Langueanglais
- Numéro d'édition2
- Nombre de pages390
Acheter neuf
Afficher cet article
EUR 134,58
EUR 3,52 expédition vers Etats-Unis
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour An Introduction to Mathematical Logic and Type Theory:...
Image d'archives
An Introduction to Mathematical Logic and Type Theory To Truth through Proof
Edité par
Springer, 2002
ISBN 10 : 1402007639
ISBN 13 : 9781402007637
Ancien ou d'occasion
Couverture rigide
Vendeur : Mahler Books, PFLUGERVILLE, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : 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. N° de réf. du vendeur 08SA23-380-044f
Quantité disponible : 1 disponible(s)
Image d'archives
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series)
Edité par
Springer, 2002
ISBN 10 : 1402007639
ISBN 13 : 9781402007637
Ancien ou d'occasion
Couverture rigide
Vendeur : Wonder Book, Frederick, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur W02A-03930
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Edité par
Kluwer Academic Publishers, Dordrecht, The Netherlands, 2002
ISBN 10 : 1402007639
ISBN 13 : 9781402007637
Ancien ou d'occasion
Couverture rigide
Vendeur : Attic Books (ABAC, ILAB), London, ON, Canada
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very good. Applied Logic Series 27. xviii, 389 p. 24 cm. B&w figures. Some light soiling to exterior. N° de réf. du vendeur 135811
Quantité disponible : 1 disponible(s)
Image d'archives
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, Band 27).
Edité par
Kluwer Academic Publishers, 2002
ISBN 10 : 1402007639
ISBN 13 : 9781402007637
Ancien ou d'occasion
Couverture rigide
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
gebundene Ausgabe. Applied Logic Series, Band 27. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Einband leicht verschmutzt, Frontschnitt mit Flecken. XVIII, 390 Seiten, Englisch 730g. N° de réf. du vendeur 492485
Quantité disponible : 1 disponible(s)
Image d'archives
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar2411530141272
Quantité disponible : Plus de 20 disponibles
Image d'archives
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
Vendeur : BennettBooksLtd, North Las Vegas, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : New. In shrink wrap. Looks like an interesting title! N° de réf. du vendeur Q-1402007639
Quantité disponible : 1 disponible(s)
Image d'archives
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781402007637_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
An Introduction to Mathematical Logic and Type Theory
Edité par
Springer Netherlands Jul 2002, 2002
ISBN 10 : 1402007639
ISBN 13 : 9781402007637
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 412 pp. Englisch. N° de réf. du vendeur 9781402007637
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
An Introduction to Mathematical Logic and Type Theory
Edité par
Springer Netherlands, 2002
ISBN 10 : 1402007639
ISBN 13 : 9781402007637
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 4092087
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Edité par
Springer Netherlands, 2002
ISBN 10 : 1402007639
ISBN 13 : 9781402007637
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering. N° de réf. du vendeur 9781402007637
Quantité disponible : 1 disponible(s)