Hoppa till sidans huvudinnehåll

4 669 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an informal but thorough introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics has been completely revised for this second edition. Brouwer's proof of the Bar Theorem has been reworked, the account of valuation systems simplified, and the treatment of generalized Beth Trees and the completeness of intuitionistic first-order logic rewritten. Readers are assumed to have some knowledge of classical formal logic and a general awareness of the history of intuitionism. From reviews of the first edition: This excellent book can be recommended to the student of mathematics or philosophy wishing to get a comprehensive and reliable introduction to modern intuitionism. Zentralblatt für Mathematik The relevance of this book extends well beyond the confines of the philosophy of mathematics, right to the centre of debates in the philosophy of language. Philosophical Books . . . a valuable and original contribution to the philosophy of mathematics. Journal of Symbolic Logic

Produktinformation

  • Utgivningsdatum2000-06-15
  • Mått162 x 241 x 24 mm
  • Vikt674 g
  • FormatInbunden
  • SpråkEngelska
  • SerieOxford Logic Guides
  • Antal sidor344
  • Upplaga2
  • FörlagOUP OXFORD
  • ISBN9780198505242

Tillhör följande kategorier

Hoppa över listan

Mer från samma författare

The Seas of Language

Michael Dummett, University of Oxford) Dummett, Michael (Emeritus Professor of Philosophy, Emeritus Professor of Philosophy

Häftad

789 kr

Frege and Other Philosophers

Michael Dummett, University of Oxford) Dummett, Michael (Wykeham Professor of Logic, and Fellow of New College, Wykeham Professor of Logic, and Fellow of New College

Häftad

779 kr

Frege and Other Philosophers

Michael Dummett, University of Oxford) Dummett, Michael (Wykeham Professor of Logic, and Fellow of New College, Wykeham Professor of Logic, and Fellow of New College

Inbunden

1 439 kr

Thought and Reality

Michael Dummett, and Emeritus Fellow of All Souls College Oxford) Dummett, Michael (Emeritus Professor of Logic at Oxford University, Honorary Fellow of New College Oxford, DUMMETT, Dummett

Inbunden

1 069 kr

Thought and Reality

Michael Dummett, and Emeritus Fellow of All Souls College Oxford) Dummett, Michael (Emeritus Professor of Logic at Oxford University, Honorary Fellow of New College Oxford

Häftad

529 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 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 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 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 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 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 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 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 47

Set Theory

John L. Bell, J. L. Bell, J L Bell

Häftad

629 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