Mathematical Logic

Valutazione media 4,31
( su 16 valutazioni fornite da GoodReads )
 
9780387942582: Mathematical Logic

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.

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

Recensione:

"...the book remains my text of choice for this type of material, and I highly recommend it to anyone teaching a first logic course at this level." - Journal of Symbolic Logic

Contenuti:

Preface; Part A: 1. Introduction; 2. Syntax of First-Order Languages; 3. Semantics of first-Order Languages; 4. A Sequent Calculus; 5. The Completeness Theorem; 6. The Lowenheim-Skolem and the Compactness Theorem; 7. The Scope of First-Order Logic; 8. Syntactic Interpretations and Normal Forms; Part B: 9. Extensions of First-Order Logic; 10. Limitations of the Formal Method; 11. Free Models and Logic Programming; 12. An Algebraic Characterization of Elementary Equivalence; 13. Lindstroem's Theorems; References; Symbol Index; Subject Index

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/ 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 64,55
Convertire valuta

Aggiungere al carrello

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

2.

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 I1-9780387942582

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 68,85
Convertire valuta

Aggiungere al carrello

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

3.

Ebbinghaus, H.-D.; Flum, J.; Thomas, Wolfgang
Editore: Springer (1996)
ISBN 10: 0387942580 ISBN 13: 9780387942582
Nuovi Rilegato Quantità: 15
Print on Demand
Da
English-Book-Service Mannheim
(Mannheim, Germania)
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 68,74
Convertire valuta

Aggiungere al carrello

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

4.

MATHEMATICAL LOGIC -
Editore: Springer (1994)
ISBN 10: 0387942580 ISBN 13: 9780387942582
Nuovi Rilegato Quantità: 1
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer, 1994. Hardback. Condizione libro: NEW. 9780387942582 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE0275371

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 64,56
Convertire valuta

Aggiungere al carrello

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

5.

Ebbinghaus, H.-D.
Editore: Springer (2016)
ISBN 10: 0387942580 ISBN 13: 9780387942582
Nuovi Paperback Quantità: 1
Print on Demand
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer, 2016. Paperback. Condizione libro: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Codice libro della libreria ria9780387942582_lsuk

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 72,29
Convertire valuta

Aggiungere al carrello

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

6.

H-. D. Ebbinghaus
Editore: Springer-Verlag New York Inc. (1996)
ISBN 10: 0387942580 ISBN 13: 9780387942582
Nuovi Quantità: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

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

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 68,04
Convertire valuta

Aggiungere al carrello

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

7.

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 78,37
Convertire valuta

Aggiungere al carrello

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

8.

H. -D. Ebbinghaus,J. Flum,W. Thomas
ISBN 10: 0387942580 ISBN 13: 9780387942582
Nuovi Quantità: 5
Da
Chiron Media
(Wallingford, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Codice libro della libreria NU-ING-00726666

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 81,17
Convertire valuta

Aggiungere al carrello

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

9.

Ebbinghaus, H.-D.; Flum, J.; Thomas, Wolfgang
Editore: Springer (1996)
ISBN 10: 0387942580 ISBN 13: 9780387942582
Nuovi Rilegato Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Springer, 1996. Hardcover. Condizione libro: New. book. Codice libro della libreria 0387942580

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 84,69
Convertire valuta

Aggiungere al carrello

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

10.

Ebbinghaus, H.-D.
Editore: Springer (2017)
ISBN 10: 0387942580 ISBN 13: 9780387942582
Nuovi Rilegato Quantità: 20
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 0387942580

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 86,87
Convertire valuta

Aggiungere al carrello

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

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro