Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Cambridge Studies in Advanced Mathematics)

Valutazione media 0
( su 0 valutazioni fornite da Goodreads )
 
9780521168465: Lectures in Logic and Set Theory: Volume 1, Mathematical Logic (Cambridge Studies in Advanced Mathematics)

This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. 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 lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen.

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

Book Description:

Meant as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy, this two-volume work is written in a user-friendly conversational lecture style that makes it equally effective for self-study or class use.Volume II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques based on formal logic, in the style of Bourbaki. This provides the reader with a solid foundation in set theory, while the inclusion of topics such as absoluteness, relative consistency results, two expositions of Godel's constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing, will usher the advanced reader to the doorstep of the research literature.

Review:

"A thorough and complete resource for "one of the most remarkable theorems of logic." George Tourlakis' Mathematical Logic is a highly worthwhile addition the the literature."
Robert Mignone, The Review of Modern Logic

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

I migliori risultati di ricerca su AbeBooks

1.

George Tourlakis
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. 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 45,59
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
(Wood Dale, IL, 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 IQ-9780521168465

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 43,88
Convertire valuta

Aggiungere al carrello

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

3.

George Tourlakis
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. 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,43
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 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 40,19
Convertire valuta

Aggiungere al carrello

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

5.

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 46,15
Convertire valuta

Aggiungere al carrello

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

6.

GEORGE TOURLAKIS
ISBN 10: 0521168465 ISBN 13: 9780521168465
Nuovi Paperback Quantità: 10
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 44,84
Convertire valuta

Aggiungere al carrello

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

7.

Tourlakis, George
Editore: Cambridge University Press (2017)
ISBN 10: 0521168465 ISBN 13: 9780521168465
Nuovi Paperback Quantità: 10
Print on Demand
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2017. Paperback. Condizione libro: New. This item is printed on demand. Codice libro della libreria 0521168465

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 58,49
Convertire valuta

Aggiungere al carrello

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

8.

George Tourlakis
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 63,36
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In 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 60,05
Convertire valuta

Aggiungere al carrello

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

10.

George Tourlakis
Editore: Cambridge University Press
ISBN 10: 0521168465 ISBN 13: 9780521168465
Nuovi Paperback Quantità: 20
Da
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press. Paperback. Condizione libro: New. Paperback. 342 pages. Dimensions: 9.0in. x 6.0in. x 1.0in.This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. 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 lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of Godels 2nd incompleteness since Hilbert and Bernays Grundlagen. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Codice libro della libreria 9780521168465

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 63,03
Convertire valuta

Aggiungere al carrello

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

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro