Mathematical Logic, 2nd Edition (Undergraduate Texts in Mathematics)

Valutazione media 4,25
( su 16 valutazioni fornite da Goodreads )
 
9780387942582: Mathematical Logic, 2nd Edition (Undergraduate Texts in Mathematics)

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

From the Back Cover:

The book starts with a thorough treatment of first-order logic and its role in the foundations of mathematics. It covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem Fraisse's characterization of elementary equivalence, Lindstrom's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

Language Notes:

Text: English (translation)
Original Language: German

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas
Editore: Springer New York, New York, NY
ISBN 10: 0387942580 ISBN 13: 9780387942582
Nuovi Rilegato Quantità: > 20
Da
Blackwell's
(Oxford, OX, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer New York, New York, NY. hardback. Condizione libro: New. Codice libro della libreria 9780387942582

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 23,78
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,39
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

2.

H.-D. Ebbinghaus, J. Flum, W. Thomas
Editore: Springer (1994)
ISBN 10: 0387942580 ISBN 13: 9780387942582
Nuovi Rilegato Quantità: 1
Print on Demand
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Springer, 1994. Hardcover. Condizione libro: New. 2nd. This item is printed on demand. Codice libro della libreria DADAX0387942580

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 35,43
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,46
In U.S.A.
Destinazione, tempi e costi

3.

H-. D. Ebbinghaus, Jörg Flum, W. Thomas
Editore: Springer-Verlag New York Inc., United States (1996)
ISBN 10: 0387942580 ISBN 13: 9780387942582
Nuovi Rilegato Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer-Verlag New York Inc., United States, 1996. Hardback. Condizione libro: New. 2nd ed. 1994. Corr. 2nd printing 1996. Language: English . Brand New Book. 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 Fraisse s characterization of elementary equivalence, Lindstrom s theorem on the maximality of first-order logic, and the fundamentals of logic programming. Codice libro della libreria SPR9780387942582

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 56,27
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

4.

H-. D. Ebbinghaus, Jörg Flum, W. Thomas
Editore: Springer-Verlag New York Inc., United States (1996)
ISBN 10: 0387942580 ISBN 13: 9780387942582
Nuovi Rilegato Quantità: 1
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer-Verlag New York Inc., United States, 1996. Hardback. Condizione libro: New. 2nd ed. 1994. Corr. 2nd printing 1996. Language: English . Brand New Book. 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 Fraisse s characterization of elementary equivalence, Lindstrom s theorem on the maximality of first-order logic, and the fundamentals of logic programming. Codice libro della libreria SPR9780387942582

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 56,45
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Ebbinghaus, H.-D., Flum, J., Thomas, Wol
Editore: Springer (2017)
ISBN 10: 0387942580 ISBN 13: 9780387942582
Nuovi Rilegato Quantità: 2
Print on Demand
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Springer, 2017. Hardcover. Condizione libro: New. This item is printed on demand. Codice libro della libreria P110387942580

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 58,37
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,59
In U.S.A.
Destinazione, tempi e costi

6.

H-. D. Ebbinghaus, Jörg Flum, W. Thomas
Editore: Springer-Verlag New York Inc., United States (1996)
ISBN 10: 0387942580 ISBN 13: 9780387942582
Nuovi Rilegato Quantità: 10
Da
Book Depository hard to find
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer-Verlag New York Inc., United States, 1996. Hardback. Condizione libro: New. 2nd ed. 1994. Corr. 2nd printing 1996. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. 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 Fraisse s characterization of elementary equivalence, Lindstrom s theorem on the maximality of first-order logic, and the fundamentals of logic programming. Codice libro della libreria LIE9780387942582

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 61,36
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

7.

H-. D. Ebbinghaus
Editore: Springer-Verlag New York Inc. (1996)
ISBN 10: 0387942580 ISBN 13: 9780387942582
Nuovi Quantità: > 20
Print on Demand
Da
Pbshop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Springer-Verlag New York Inc., 1996. HRD. Condizione libro: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria IP-9780387942582

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 63,06
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,46
In U.S.A.
Destinazione, tempi e costi

8.

H.-D. Ebbinghaus; J. Flum; Wolfgang Thomas
Editore: Springer (1996)
ISBN 10: 0387942580 ISBN 13: 9780387942582
Nuovi Rilegato Quantità: 15
Print on Demand
Da
Valutazione libreria
[?]

Descrizione libro Springer, 1996. Condizione libro: New. This item is printed on demand for shipment within 3 working days. Codice libro della libreria LP9780387942582

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 64,16
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,99
Da: Germania a: U.S.A.
Destinazione, tempi e costi

9.

H.-D. Ebbinghaus; J. Flum; Wolfgang Thomas
ISBN 10: 0387942580 ISBN 13: 9780387942582
Nuovi Quantità: 1
Da
BWB
(Valley Stream, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Depending on your location, this item may ship from the US or UK. Codice libro della libreria 97803879425820000000

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 68,81
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

10.

H.-D. Ebbinghaus/ J. Flum/ W. Thomas
Editore: Springer Verlag (1996)
ISBN 10: 0387942580 ISBN 13: 9780387942582
Nuovi Rilegato Quantità: 1
Da
Revaluation Books
(Exeter, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer Verlag, 1996. Hardcover. Condizione libro: Brand New. 2nd edition. 299 pages. 9.75x6.75x1.00 inches. In Stock. Codice libro della libreria __0387942580

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 62,86
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,78
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro