Hoppa till sidans huvudinnehåll

Del 27

Diagonalization and Self-Reference

Inbunden, Engelska, 1994

AvRaymond M. Smullyan,Indiana University) Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy

5 119 kr

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


The main purpose of this book is to present a unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. The book provides a survey of introductory material and a summary of recent research. The first chapters are of an introductory nature and consist mainly of exercises with solutions given to most of them.

Produktinformation

  • Utgivningsdatum1994-09-01
  • Mått158 x 242 x 26 mm
  • Vikt778 g
  • FormatInbunden
  • SpråkEngelska
  • SerieOxford Logic Guides
  • Antal sidor412
  • FörlagClarendon Press
  • ISBN9780198534501
Hoppa över listan

Mer från samma författare

To Mock a Mockingbird: and Other Logic Puzzles

Raymond Smullyan, Indiana State University) Smullyan, Raymond (Oscar Ewing Professor of Philosophy, Oscar Ewing Professor of Philosophy, Raymond M. Smullyan, Raymond (Oscar Ewing Profes... Smullyan, Raymond M Smullyan

Häftad

219 kr

Alice in Puzzle-Land

Raymond M. Smullyan, Martin Gardner, Greer Fitting, Raymond M Smullyan

Häftad

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

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

Encyclopedia of Scale Insect Pests

Takumasa Kondo, Gillian W. Watson, Colombia) Kondo, Takumasa (Agrosavia, UK) Watson, Dr Gillian W. (Natural History Museum, Gillian W Watson

Inbunden

5 119 kr

Epidemiology of Cannabis

Albert Stuart Reece, Gary Kenneth Hulse, Australia) Reece, Albert Stuart (Professor, University of Western Australia, Australia and Professor, Edith Cowan University, Australia) Hulse, Gary Kenneth (Professor, University of Western Australia, Australia and Professor, Edit Cowan University, Reece,Albert Stuar

Häftad

5 119 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