Moerdijk, Ieke Sets, Models and Proofs

ISBN 13: 9783319924137

Sets, Models and Proofs

Valutazione media 0
( su 0 valutazioni fornite da Goodreads )
 
9783319924137: Sets, Models and Proofs
Vedi tutte le copie di questo ISBN:
 
 

This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and usefulness of logic in the study of these subject areas.

The authors start with an exposition of set theory and the axiom of choice as used in everyday mathematics. Proceeding at a gentle pace, they go on to present some of the first important results in model theory, followed by a careful exposition of Gentzen-style natural deduction and a detailed proof of Gödel’s completeness theorem for first-order logic. The book then explores the formal axiom system of Zermelo and Fraenkel before concluding with an extensive list of suggestions for further study.

The present volume is primarily aimed at mathematics students who are already familiar with basic analysis, algebra and linear algebra. It contains numerous exercises of varying difficulty and can be used for self-study, though it is ideally suited as a text for a one-semester university course in the second or third year.

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

Recensione:

“This book is one of a few excellent textbooks for a one-semester introductory mathematical logic course for undergraduate students with relevant majors. It achieves a good balance between depth and brevity. It fits the needs of a student who wants to explore the subject but does not want to be bogged down by excessive demands of rigor before appreciation for mathematical logic can be developed. ... This book is short but self-contained and ... interesting exercises complement the main theorems.” (Renling Jin, Mathematical Reviews, September, 2019)

L'autore:

Both authors have extensive experience in teaching the material covered in this book, and have been active researchers in mathematical logic and related fields. Ieke Moerdijk co-authored the influential Springer text  "Sheaves in Geometry and Logic, a First Course in Topos Theory", together with Saunders Mac Lane. Jaap van Oosten is an expert on realizability models for systems of constructive logic, and is the author of a comprehensive monograph on the subject: "Realizability: An Introduction to its Categorical Side" . 

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

I migliori risultati di ricerca su AbeBooks

Foto dell'editore

1.

Moerdijk, Ieke;van Oosten, Jaap
Editore: Springer (2018)
ISBN 10: 3319924133 ISBN 13: 9783319924137
Nuovo Brossura Quantità: 5
Da
GreatBookPrices
(Columbia, MD, U.S.A.)
Valutazione libreria

Descrizione libro Springer, 2018. Condizione: New. Codice articolo 32756941-n

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 34,60
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,21
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

2.

Moerdijk, Ieke; Van Oosten, Jaap
Editore: Springer (2018)
ISBN 10: 3319924133 ISBN 13: 9783319924137
Nuovo Brossura Quantità: 1
Da
GlassFrogBooks
(Hawthorne, CA, U.S.A.)
Valutazione libreria

Descrizione libro Springer, 2018. Condizione: New. A+ Customer service! Satisfaction Guaranteed! Book is in NEW condition. Codice articolo 3319924133-2-1

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 36,83
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

3.

Ieke Moerdijk
Editore: Springer (2018)
ISBN 10: 3319924133 ISBN 13: 9783319924137
Nuovo Paperback Prima edizione Quantità: 1
Da
Books Puddle
(New York, NY, U.S.A.)
Valutazione libreria

Descrizione libro Springer, 2018. Paperback. Condizione: New. 1st ed. 2018. pp.156 1st Edition. Codice articolo 26375763515

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 33,67
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,33
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

4.

Ieke Moerdijk (author), Jaap van Oosten (author)
Editore: Springer International Publishing 2018-12-06, Berlin (2018)
ISBN 10: 3319924133 ISBN 13: 9783319924137
Nuovo paperback Prima edizione Quantità: > 20
Da
Blackwell's
(Oxford, OX, Regno Unito)
Valutazione libreria

Descrizione libro Springer International Publishing 2018-12-06, Berlin, 2018. paperback. Condizione: New. 1st ed. 2018. Language: ENG. Codice articolo 9783319924137

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 33,80
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,35
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

5.

Moerdijk Ieke
Editore: Springer (2018)
ISBN 10: 3319924133 ISBN 13: 9783319924137
Nuovo Paperback Prima edizione Quantità: 1
Da
Majestic Books
(London, Regno Unito)
Valutazione libreria

Descrizione libro Springer, 2018. Paperback. Condizione: New. 1st ed. 2018. pp.156. Codice articolo 370281956

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 31,53
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 7,55
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

6.

Moerdijk
Editore: Springer (2018)
ISBN 10: 3319924133 ISBN 13: 9783319924137
Nuovo Brossura Quantità: 1
Da
Basi6 International
(Irving, TX, U.S.A.)
Valutazione libreria

Descrizione libro Springer, 2018. Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEUSADEC19-110285

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 39,85
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

7.

Moerdijk, Ieke;van Oosten, Jaap
Editore: Springer (2018)
ISBN 10: 3319924133 ISBN 13: 9783319924137
Nuovo Brossura Quantità: 5
Da
GreatBookPricesUK
(Castle Donington, DERBY, Regno Unito)
Valutazione libreria

Descrizione libro Springer, 2018. Condizione: New. Codice articolo 32756941-n

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 24,03
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 17,41
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Immagini fornite dal venditore

8.

Moerdijk, Ieke
Editore: Springer 9/29/2018 (2018)
ISBN 10: 3319924133 ISBN 13: 9783319924137
Nuovo Paperback or Softback Quantità: 10
Da
BargainBookStores
(Grand Rapids, MI, U.S.A.)
Valutazione libreria

Descrizione libro Springer 9/29/2018, 2018. Paperback or Softback. Condizione: New. Sets, Models and Proofs. Book. Codice articolo BBS-9783319924137

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 41,48
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi
Immagini fornite dal venditore

9.

Moerdijk, Ieke
Editore: Springer (2018)
ISBN 10: 3319924133 ISBN 13: 9783319924137
Nuovo Paperback Prima edizione Quantità: 1
Print on Demand
Da
booksXpress
(Freehold, NJ, U.S.A.)
Valutazione libreria

Descrizione libro Springer, 2018. Paperback. Condizione: new. 1st ed. 2018. This item is printed on demand. Codice articolo 9783319924137

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 44,82
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

10.

Moerdijk, Ieke
Editore: Springer (2017)
ISBN 10: 3319924133 ISBN 13: 9783319924137
Nuovo Paperback Prima edizione Quantità: > 20
Print on Demand
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria

Descrizione libro Springer, 2017. Paperback. Condizione: New. 1st ed. 2018. PRINT ON DEMAND Book; New; Publication Year 2017; Fast Shipping from the UK. No. book. Codice articolo ria9783319924137_lsuk

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 39,10
Convertire valuta

Aggiungere al carrello

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

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro