Del 22

Recursion Theory for Metamathematics

Inbunden, Engelska, 1993

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

2 919 kr

Beställningsvara. Skickas inom 5-8 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.

Produktinformation

  • Utgivningsdatum1993-07-15
  • Mått234 x 156 x 11 mm
  • Vikt431 g
  • FormatInbunden
  • SpråkEngelska
  • SerieOxford Logic Guides
  • Antal sidor184
  • FörlagOUP USA
  • ISBN9780195082326

Tillhör följande kategorier

Mer från samma författare

To Mock a Mockingbird: and Other Logic Puzzles

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

219 kr

The Tao Is Silent

The Tao Is Silent

Raymond M. Smullyan, Raymond M Smullyan

219 kr

Gödel's Incompleteness Theorems
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

4 359 kr

Diagonalization and Self-Reference
Del 27

Diagonalization and Self-Reference

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

5 109 kr

Who Knows?

Who Knows?

Raymond M. Smullyan

439 kr

The Lady or the Tiger?: And Other Logic Puzzles

The Lady or the Tiger?: And Other Logic Puzzles

Raymond M. Smullyan

309 kr

What is the Name of This Book?

What is the Name of This Book?

Raymond M. Smullyan

219 kr

Alice in Puzzle-Land

Alice in Puzzle-Land

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

199 kr

Chess Mysteries of Sherlock Holmes

Chess Mysteries of Sherlock Holmes

Raymond M. Smullyan

209 kr

Beginner’s Guide to Mathematical Logic

Beginner’s Guide to Mathematical Logic

Raymond M. Smullyan, Raymond M Smullyan

329 kr

Du kanske också är intresserad av

Elementary Categories, Elementary Toposes
Del 21

Elementary Categories, Elementary Toposes

McLarty, Colin McLarty

2 159 kr

Features and Fluents
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

1 989 kr

Simplicity Theory
Del 53

Simplicity Theory

Byunghan Kim, South Korea) Kim, Byunghan (Professor of Mathematics, Professor of Mathematics, Department of Mathematics, Yonsei University

1 919 kr

The Structure of Models of Peano Arithmetic
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

2 359 kr

Arithmetic, Proof Theory, and Computational Complexity
Del 23

Arithmetic, Proof Theory, and Computational Complexity

Clote, Krajicek, Peter Clote, Jan Krajícek, USA) Clote, Peter (Professor, Department of Computer Science, Professor, Department of Computer Science, Boston College, Chestnut Hill, Czechoslovakia) Krajicek, Jan (Mathematical Institute, Mathematical Institute, Ceskoslovenska Akademie Ved Praha 1

2 169 kr

Sketches of an Elephant: A Topos Theory Compendium
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

6 529 kr

Twenty Five Years of Constructive Type Theory
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

1 619 kr

From Sets and Types to Topology and Analysis
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

3 579 kr

Set Theory
Del 47

Set Theory

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

639 kr

Many-Valued Logics
Del 25

Many-Valued Logics

Grzegorz Malinowski, Poland) Malinowski, Grzegorz (Head of Department of Logic, Head of Department of Logic, University of Lodz

2 069 kr