Sinossi
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).
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Dalla quarta di copertina
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Mathematical Logic
Foto dell'editore
Mathematical Logic, 2nd Edition (Undergraduate Texts in Mathematics)
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_444528954
Compra usato
EUR 20,71
Spese di spedizione:
EUR 3,25
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Mathematical Logic
Da: Daedalus Books, Portland, OR, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. Second Edition. A nice, solid copy. ; Undergraduate Texts In Mathematics; 6.4 X 1 X 9.4 inches; 289 pages. Codice articolo 329054
Compra usato
EUR 26,76
Spese di spedizione:
EUR 5,42
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Mathematical Logic (Undergraduate Texts in Mathematics)
Da: AproposBooks&Comics, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Fine. 2nd Edition. Codice articolo ful/080924/HJGHJGHJG
Compra usato
EUR 41,02
Spese di spedizione:
EUR 17,03
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
MATHEMATICAL LOGIC
Editore:
Springer, New York, 1996
ISBN 10: 0387942580
ISBN 13: 9780387942582
Antico o usato
Rilegato
Da: Russ States, Oil City, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hard Cover. Condizione: Very Good. No Jacket. (1996), 290pp, 2nd ed., 2nd printing, 'Undergraduate Texts in Mathematics', light rubbing to cover, no dj, contents clean. Codice articolo 14-0880
Compra usato
EUR 60,32
Spese di spedizione:
EUR 4,51
In U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Mathematical Logic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 462047
Compra usato
EUR 75,69
Spese di spedizione:
EUR 2,29
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Mathematical Logic, 2nd Edition
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2215580173998
Compra nuovo
EUR 76,69
Spese di spedizione:
EUR 3,46
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Mathematical Logic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 462047-n
Compra nuovo
EUR 77,89
Spese di spedizione:
EUR 2,29
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Mathematical Logic, 2nd Edition
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780387942582_new
Compra nuovo
EUR 68,21
Spese di spedizione:
EUR 13,65
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Mathematical Logic - 2nd Edition
Editore:
New York : Springer-Verlag, 1994
ISBN 10: 0387942580
ISBN 13: 9780387942582
Antico o usato
Brossura
Da: Klondyke, Almere, Paesi Bassi
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Original boards, illustrated with numerous equations, 8vo. Undergraduate Texts in Mathematics.; Name in pen on title page. Codice articolo 343200-ZA30
Compra usato
EUR 33,00
Spese di spedizione:
EUR 50,00
Da: Paesi Bassi a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Mathematical Logic, 2nd Edition (Undergraduate Texts in Mathematics)
Da: BennettBooksLtd, San Diego, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title! Codice articolo Q-0387942580
Compra nuovo
EUR 77,77
Spese di spedizione:
EUR 6,03
In U.S.A.
Quantità: 1 disponibili