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.
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.
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Etat : Fine. first printing of the second edition, 291 pp., Hardcover, previous owner's name to the front free endpaper, else fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. N° de réf. du vendeur ZB1353251
Quantité disponible : 1 disponible(s)
Vendeur : Windflower Bookstore, Rockford, IL, Etats-Unis
Etat : good. N° de réf. du vendeur WFBV.0387942580.G
Quantité disponible : 1 disponible(s)
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Hardcover. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0387942580I3N00
Quantité disponible : 1 disponible(s)
Vendeur : Goodwill of Silicon Valley, SAN JOSE, CA, Etats-Unis
Etat : good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear. N° de réf. du vendeur GWSVV.0387942580.G
Quantité disponible : 1 disponible(s)
Vendeur : Labyrinth Books, Princeton, NJ, Etats-Unis
Etat : New. N° de réf. du vendeur 277833
Quantité disponible : 1 disponible(s)
Vendeur : Klondyke, Almere, Pays-Bas
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
Quantité disponible : 1 disponible(s)
Vendeur : AproposBooks&Comics, London, Royaume-Uni
Hardcover. Etat : Fine. 2nd Edition. N° de réf. du vendeur ful/080924/HJGHJGHJG
Quantité disponible : 1 disponible(s)
Vendeur : Russ States, Oil City, PA, Etats-Unis
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
Quantité disponible : 1 disponible(s)
Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-Unis
hardcover. Etat : New. In shrink wrap. Looks like an interesting title! N° de réf. du vendeur Q-0387942580
Quantité disponible : 1 disponible(s)
Vendeur : BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Allemagne
Hardcover. Etat : gut. 1994. Mathematical Logic - 2nd Edition In englischer Sprache. pages. N° de réf. du vendeur BN435156
Quantité disponible : 1 disponible(s)