Del 47 - Oxford Logic Guides
Set Theory
Boolean-Valued Models and Independence Proofs
Häftad, Engelska, 2011
629 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory,. It provides an exposition of some of the most important results in set theory obtained in the 20th century: the independence of the continuum hypothesis and the axiom of choice. Aimed at graduate students and researchers in mathematics, mathematical logic, philosophy, and computer science, the third edition has been extensively updated with expanded introductory material, new chapters, and a new appendix on category theory. It covers recent developments in the field and contains numerous exercises, along with updated and increased coverage of the background material. This new paperback edition includes additional corrections and, for the first time, will make this landmark text accessible to students in logic and set theory.
Produktinformation
- Utgivningsdatum2011-05-05
- Mått166 x 234 x 12 mm
- Vikt356 g
- FormatHäftad
- SpråkEngelska
- SerieOxford Logic Guides
- Antal sidor216
- Upplaga33
- FörlagOUP OXFORD
- ISBN9780199609161
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
A Primer of Infinitesimal Analysis
John L. Bell, John L. (University of Western Ontario) Bell, John. L Bell
Inbunden
949 kr
Higher-Order Logic and Type Theory
John L. Bell, John L. (University of Western Ontario) Bell
Häftad
299 kr
Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
John L. Bell
Inbunden
1 509 kr
Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
John L. Bell
Häftad
1 509 kr
Hoppa över listan
Mer från samma serie
Consequence Relations
Alex Citkin, Alexei Muravitsky, New York) Citkin, Alex (CIO, CIO, Metropolitan Telecommunications, Louisiana Scholars' College at Northwestern State University of Louisiana) Muravitsky, Alexei (Professor of Mathematics, Professor of Mathematics
Inbunden
1 609 kr
Fragments of First-Order Logic
Ian Pratt-Hartmann, University of Opole) Pratt-Hartmann, Ian (Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole, Senior Lecturer, University of Manchester Professor of Mathematical Sciences
Inbunden
2 309 kr
Del 24
Introduction to Logic and to the Methodology of Deductive Sciences
Alfred Tarski, The late Alfred Tarski, Jan Tarski
Inbunden
2 159 kr
Del 19
Gödel's Incompleteness Theorems
Raymond M. Smullyan, USA) Smullyan, Raymond M. (Professor, City College, Professor, City College, City University of New York
Inbunden
4 289 kr
Del 22
Recursion Theory for Metamathematics
Raymond M. Smullyan, Indiana University) Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy
Inbunden
2 859 kr
Del 36
Twenty Five Years of Constructive Type Theory
Giovanni Sambin, Jan M. Smith, Italy) Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Sweden) Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology, Jan Smith
Inbunden
1 589 kr
Del 42
Change, Choice and Inference
Hans Rott, Germany) Rott, Hans (, Professor of Philosophy, University of Regensburg
Inbunden
3 139 kr
Del 38
Fibring Logics
Dov M. Gabbay, London) Gabbay, Dov M. (Professor of Computer Science, Professor of Computer Science, King's College
Inbunden
1 979 kr
Del 39
Elements of Intuitionism
Michael Dummett, University of Oxford) Dummett, Michael (Emeritus Professor of Philosophy, Emeritus Professor of Philosophy
Inbunden
4 669 kr
Del 46
Interpolation and Definability
Dov M. Gabbay, Larisa Maksimova, King's College London) Gabbay, Dov M. (, Department of Computer Science, Russia) Maksimova, Larisa (, Institute of Mathematics, Siberian Branch of Russian Academy of Science, Novosibirsk
Inbunden
3 619 kr
Hoppa över listan
Du kanske också är intresserad av
Del 21
Del 30
Features and Fluents
Erik Sandewall, Sweden) Sandewall, Erik (Professor, Department of Computer and Information Science, Professor, Department of Computer and Information Science, Linkoping University
Inbunden
1 909 kr
Del 32
Geometric Stability Theory
Anand Pillay, USA) Pillay, Anand (, University of Illinois
Inbunden
2 179 kr
Del 53
Simplicity Theory
Byunghan Kim, South Korea) Kim, Byunghan (Professor of Mathematics, Professor of Mathematics, Department of Mathematics, Yonsei University
Inbunden
1 879 kr
Del 50
The Structure of Models of Peano Arithmetic
Roman Kossak, James Schmerl, Roman (City University of New York) Kossak, Storrs) Schmerl, James (University of Connecticut, James H. Schmerl
Inbunden
2 309 kr
Del 22
Recursion Theory for Metamathematics
Raymond M. Smullyan, Indiana University) Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy
Inbunden
2 859 kr
Del 44
Sketches of an Elephant: A Topos Theory Compendium
Peter T. Johnstone, UK) Johnstone, Peter T. (, Reader in the Foundations of Mathematics, University of Cambridge, Cambridge, JOHNSTONE, Johnstone
Inbunden
6 409 kr
Del 36
Twenty Five Years of Constructive Type Theory
Giovanni Sambin, Jan M. Smith, Italy) Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Sweden) Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology, Jan Smith
Inbunden
1 589 kr
Del 48
From Sets and Types to Topology and Analysis
Laura Crosilla, Peter Schuster, Laura (Universite di Firenze) Crosilla, Universitaet Munich) Schuster, Peter (Mathematical Institut
Inbunden
3 589 kr
Del 25
Many-Valued Logics
Grzegorz Malinowski, Poland) Malinowski, Grzegorz (Head of Department of Logic, Head of Department of Logic, University of Lodz
Inbunden
2 029 kr