Synopsis
Our first goal is Godel's completeness theorem, which shows that the con sequence relation coincides with formal provability: By means of a calcu lus consisting of simple formal inference rules, one can obtain all conse quences of a given axiom system (and in particular, imitate all mathemat ical proofs).
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de la quatrième de couverture
Our first goal is Godel's completeness theorem, which shows that the con sequence relation coincides with formal provability: By means of a calcu lus consisting of simple formal inference rules, one can obtain all conse quences of a given axiom system (and in particular, imitate all mathemat ical proofs).
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Mathematical Logic
Image d'archives
Mathematical Logic, 2nd Edition
Edité par
Springer (edition 2nd), 1994
ISBN 10 : 0387942580
ISBN 13 : 9780387942582
Ancien ou d'occasion
Couverture rigide
Vendeur : BooksRun, Philadelphia, PA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. 2nd. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. N° de réf. du vendeur 0387942580-11-1
Acheter D'occasion
EUR 16,59
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematical Logic, 2nd Edition
Vendeur : Labyrinth Books, Princeton, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 277833
Acheter neuf
EUR 43,46
Expédition à EUR 3,88
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Mathematical Logic - 2nd Edition
Edité par
New York : Springer-Verlag, 1994
ISBN 10 : 0387942580
ISBN 13 : 9780387942582
Ancien ou d'occasion
Couverture souple
Vendeur : Klondyke, Almere, Pays-Bas
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Original boards, illustrated with numerous equations, 8vo. Undergraduate Texts in Mathematics.; Name in pen on title page. N° de réf. du vendeur 343200-ZA30
Acheter D'occasion
EUR 33
Expédition à EUR 20
Expédition depuis Pays-Bas vers Etats-Unis
Expédition depuis Pays-Bas vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematical Logic (Undergraduate Texts in Mathematics)
Edité par
Springer, 1994
ISBN 10 : 0387942580
ISBN 13 : 9780387942582
Ancien ou d'occasion
Couverture rigide
Vendeur : AproposBooks&Comics, London, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Fine. 2nd Edition. N° de réf. du vendeur ful/080924/HJGHJGHJG
Acheter D'occasion
EUR 41,64
Expédition à EUR 17,29
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
MATHEMATICAL LOGIC
Edité par
Springer, New York, 1996
ISBN 10 : 0387942580
ISBN 13 : 9780387942582
Ancien ou d'occasion
Couverture rigide
Vendeur : Russ States, Oil City, PA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hard Cover. Etat : Very Good. No Jacket. (1996), 290pp, 2nd ed., 2nd printing, 'Undergraduate Texts in Mathematics', light rubbing to cover, no dj, contents clean. N° de réf. du vendeur 14-0880
Acheter D'occasion
EUR 59,89
Expédition à EUR 4,48
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Mathematical Logic
Edité par
Springer, 1994
ISBN 10 : 0387942580
ISBN 13 : 9780387942582
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 462047
Acheter D'occasion
EUR 76,96
Expédition à EUR 2,27
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Mathematical Logic, 2nd Edition (Undergraduate Texts in Mathematics)
Vendeur : BennettBooksLtd, Los Angeles, CA, 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-0387942580
Acheter neuf
EUR 77,22
Expédition à EUR 5,99
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Mathematical Logic
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 462047-n
Acheter neuf
EUR 81,04
Expédition à EUR 2,27
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Mathematical Logic, 2nd Edition
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780387942582_new
Acheter neuf
EUR 71,49
Expédition à EUR 13,86
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Mathematical Logic
Edité par
Springer New York Jun 1994, 1994
ISBN 10 : 0387942580
ISBN 13 : 9780387942582
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 -This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming. 308 pp. Englisch. N° de réf. du vendeur 9780387942582
Acheter neuf
EUR 64,15
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)