Lectures in Logic and Set Theory: Volume 1, Mathematical Logic

 
9780521168465: Lectures in Logic and Set Theory: Volume 1, Mathematical Logic

This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume 1 includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.

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

Book Description:

Review of the hardback: ' … stands among the dozen or so books that will remain within easy reach from my desk … a highly worthwhile addition to the literature.' The Review of Modern Logic

Book Description:

This work includes formal proof techniques, a section on applications of compactness, a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.

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

I migliori risultati di ricerca su AbeBooks

1.

Tourlakis, George
Editore: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2010)
ISBN 10: 0521168465 ISBN 13: 9780521168465
Nuovi Paperback Quantità: 10
Print on Demand
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2010. Paperback. Condizione libro: New. 246 x 174 mm. Language: English . Brand New Book ***** Print on Demand *****.This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume 1 includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel s 2nd incompleteness since Hilbert and Bernay s Grundlagen theorem. Codice libro della libreria AAV9780521168465

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 47,60
Convertire valuta

Aggiungere al carrello

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

2.

Tourlakis, George
Editore: Cambridge University Press (2010)
ISBN 10: 0521168465 ISBN 13: 9780521168465
Nuovi Quantità: > 20
Print on Demand
Da
PBShop
(Secaucus, NJ, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2010. PAP. 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 I2-9780521168465

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 47,83
Convertire valuta

Aggiungere al carrello

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

3.

Tourlakis, George
Editore: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2010)
ISBN 10: 0521168465 ISBN 13: 9780521168465
Nuovi Paperback Quantità: 10
Print on Demand
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2010. Paperback. Condizione libro: New. 246 x 174 mm. Language: English . Brand New Book ***** Print on Demand *****. This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume 1 includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel s 2nd incompleteness since Hilbert and Bernay s Grundlagen theorem. Codice libro della libreria AAV9780521168465

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 51,64
Convertire valuta

Aggiungere al carrello

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

4.

Tourlakis, George
Editore: Cambridge Univ Pr (2010)
ISBN 10: 0521168465 ISBN 13: 9780521168465
Nuovi Paperback Quantità: 1
Da
Revaluation Books
(Exeter, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge Univ Pr, 2010. Paperback. Condizione libro: Brand New. 340 pages. In Stock. Codice libro della libreria __0521168465

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 44,89
Convertire valuta

Aggiungere al carrello

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

5.

Tourlakis, George
Editore: Cambridge University Press (2010)
ISBN 10: 0521168465 ISBN 13: 9780521168465
Nuovi Quantità: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2010. PAP. Condizione libro: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria LQ-9780521168465

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 41,71
Convertire valuta

Aggiungere al carrello

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

6.

Tourlakis, George
Editore: Cambridge University Press (2016)
ISBN 10: 0521168465 ISBN 13: 9780521168465
Nuovi Paperback Quantità: 1
Print on Demand
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 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 ria9780521168465_lsuk

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 50,76
Convertire valuta

Aggiungere al carrello

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

7.

Tourlakis, George
ISBN 10: 0521168465 ISBN 13: 9780521168465
Nuovi Paperback Quantità: 1
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro 2010. Paperback. Condizione libro: NEW. 9780521168465 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE0449323

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 46,56
Convertire valuta

Aggiungere al carrello

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

8.

Tourlakis, George
Editore: Cambridge University Press 2010-09-09 (2010)
ISBN 10: 0521168465 ISBN 13: 9780521168465
Nuovi Quantità: 5
Da
Chiron Media
(Wallingford, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press 2010-09-09, 2010. 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-00913132

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 58,88
Convertire valuta

Aggiungere al carrello

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

9.

Tourlakis, George
Editore: Cambridge University Press (2010)
ISBN 10: 0521168465 ISBN 13: 9780521168465
Nuovi Paperback Quantità: 10
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2010. Paperback. Condizione libro: New. Codice libro della libreria INGM9780521168465

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 64,33
Convertire valuta

Aggiungere al carrello

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

10.

Tourlakis, George
Editore: Cambridge University Press (2010)
ISBN 10: 0521168465 ISBN 13: 9780521168465
Nuovi Paperback Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2010. Paperback. Condizione libro: New. book. Codice libro della libreria 0521168465

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 68,66
Convertire valuta

Aggiungere al carrello

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

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro