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 : BooksRun, Philadelphia, PA, Etats-Unis
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
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 : Shakespeare Book House, Rockford, IL, Etats-Unis
Etat : like_new. The cover shows no damage or marks! Ship within 24 hours!! N° de réf. du vendeur EBBV.0387942580.LN
Quantité disponible : 1 disponible(s)
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Hardcover. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0387942580I4N00
Quantité disponible : 1 disponible(s)
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, 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 : 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 : 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)