An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series)

Note moyenne 3,5
( 4 avis fournis par GoodReads )
 
9789048160792: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series)
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.

Acheter neuf Afficher le livre
EUR 131,36

Autre devise

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis

Destinations, frais et délais

Ajouter au panier

Meilleurs résultats de recherche sur AbeBooks

1.

Peter B. Andrews
Edité par Springer, Netherlands (2010)
ISBN 10 : 9048160790 ISBN 13 : 9789048160792
Neuf(s) Paperback Quantité : 10
impression à la demande
Vendeur
The Book Depository
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer, Netherlands, 2010. Paperback. État : New. 235 x 155 mm. Language: English . Brand New Book ***** Print on Demand *****.In case you are considering to adopt this book for courses with over 50 students, please contact 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. 2nd ed. 2002. Softcover reprint of the original 2nd ed. 2002. N° de réf. du libraire AAV9789048160792

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 131,36
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

2.

Peter B. Andrews
Edité par Springer (2010)
ISBN 10 : 9048160790 ISBN 13 : 9789048160792
Neuf(s) Quantité : > 20
impression à la demande
Vendeur
Books2Anywhere
(Fairford, GLOS, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer, 2010. PAP. État : New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du libraire LQ-9789048160792

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 125,91
Autre devise

Ajouter au panier

Frais de port : EUR 10,57
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

3.

Peter B. Andrews
Edité par Springer, Netherlands (2010)
ISBN 10 : 9048160790 ISBN 13 : 9789048160792
Neuf(s) Paperback Quantité : 10
impression à la demande
Vendeur
The Book Depository US
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer, Netherlands, 2010. Paperback. État : New. 235 x 155 mm. Language: English . Brand New Book ***** Print on Demand *****. In case you are considering to adopt this book for courses with over 50 students, please contact 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. 2nd ed. 2002. Softcover reprint of the original 2nd ed. 2002. N° de réf. du libraire AAV9789048160792

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 139,95
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

4.

Andrews, Peter B.
Edité par Springer (2010)
ISBN 10 : 9048160790 ISBN 13 : 9789048160792
Neuf(s) Couverture souple Quantité : 15
impression à la demande
Vendeur
European-Media-Service Mannheim
(Mannheim, Allemagne)
Evaluation vendeur
[?]

Description du livre Springer, 2010. État : New. This item is printed on demand for shipment within 3 working days. N° de réf. du libraire LP9789048160792

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 137,53
Autre devise

Ajouter au panier

Frais de port : EUR 5,55
De Allemagne vers Etats-Unis
Destinations, frais et délais

5.

Peter B. Andrews
Edité par Springer (2010)
ISBN 10 : 9048160790 ISBN 13 : 9789048160792
Neuf(s) Quantité : > 20
impression à la demande
Vendeur
PBShop
(Wood Dale, IL, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Springer, 2010. PAP. État : New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du libraire IQ-9789048160792

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 146,15
Autre devise

Ajouter au panier

Frais de port : EUR 3,65
Vers Etats-Unis
Destinations, frais et délais

6.

Andrews, Peter B.
Edité par Springer (2016)
ISBN 10 : 9048160790 ISBN 13 : 9789048160792
Neuf(s) Paperback Quantité : 1
impression à la demande
Vendeur
Ria Christie Collections
(Uxbridge, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer, 2016. Paperback. État : New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. N° de réf. du libraire ria9789048160792_lsuk

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 146,29
Autre devise

Ajouter au panier

Frais de port : EUR 3,90
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

7.

PETER B. ANDREWS
Edité par Springer (2010)
ISBN 10 : 9048160790 ISBN 13 : 9789048160792
Neuf(s) Paperback Quantité : 1
Vendeur
Herb Tandree Philosophy Books
(Stroud, GLOS, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer, 2010. Paperback. État : NEW. 9789048160792 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. N° de réf. du libraire HTANDREE0387046

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 143,67
Autre devise

Ajouter au panier

Frais de port : EUR 9,39
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

8.

Andrews, Peter B.
Edité par Springer (2010)
ISBN 10 : 9048160790 ISBN 13 : 9789048160792
Neuf(s) Paperback Quantité : 10
impression à la demande
Vendeur
Ergodebooks
(RICHMOND, TX, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Springer, 2010. Paperback. État : New. This item is printed on demand. N° de réf. du libraire INGM9789048160792

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 171,37
Autre devise

Ajouter au panier

Frais de port : EUR 3,65
Vers Etats-Unis
Destinations, frais et délais

9.

Peter B. Andrews
Edité par Springer (2010)
ISBN 10 : 9048160790 ISBN 13 : 9789048160792
Neuf(s) Paperback Quantité : 1
impression à la demande
Vendeur
Ergodebooks
(RICHMOND, TX, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Springer, 2010. Paperback. État : New. 2nd ed. 2002. This item is printed on demand. N° de réf. du libraire DADAX9048160790

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 187,45
Autre devise

Ajouter au panier

Frais de port : EUR 3,65
Vers Etats-Unis
Destinations, frais et délais

10.

Andrews, Peter B.
Edité par Springer (2010)
ISBN 10 : 9048160790 ISBN 13 : 9789048160792
Neuf(s) Paperback Quantité : 1
Vendeur
Irish Booksellers
(Rumford, ME, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Springer, 2010. Paperback. État : New. book. N° de réf. du libraire 9048160790

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 203,30
Autre devise

Ajouter au panier

Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre