Jump to main content

yr 〜
yr

Search results 26

ゲーデルの定理 : 利用と誤用の不完全ガイド

ゲーデルの定理 : 利用と誤用の不完全ガイド
Paper図書
トルケル・フランセーン [著], 田中一之 訳みすず書房2011.3<MA41-J51>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incompleteness theorems
  • Note (General)原タイトル: Godel's Theorem
  • Additional TitleGodel's Theorem

Godel's theorems : 1st International symposium : May 1991, Paris, France.

Godel's theorems : 1st International symposium : May 1991, Paris, France.
Paper図書
World Scientific1992.<M17-94-0295>
National Diet Library
  • Note (General)...p. Index term: Godels theorems ; synergy ; AFCET. BL shelfm...
  • Alternative Title... Working group Godels theorems ; synergy ; AFCET
  • Alternative Title... Working group Godels theorems ; synergy ; AFCET

Gödel's theorem in focus / edited by S.G. Shanker.

Gödel's theorem in focus / edited by S.G. Shanker.
Paper図書
Croom Helmc1988.<MA41-A26>
National Diet Library
  • Subject Headingゲーデル[Godel]の定理. Gödel's theorem.

Introduction to incompleteness : From Gödel's theorems to forcing and the continuum hypothesis :hbk.

Introduction to incompleteness : From Gödel's theorems to forcing and the continuum hypothesis :hbk.
Paper図書
Serafim BatzoglouSpringer Nature Switzerlandc2024
Other Libraries in Japan

Gödel's theorem : a very short introduction

Gödel's theorem : a very short introduction
Paper図書
A.W. MooreOxford University Press2022
Other Libraries in Japan
  • Subject HeadingGödel's theorem
  • Subject Heading (ID)Gödel's theorem

Gödel's theorems and Zermelo's axioms : a firm foundation of mathematics

Gödel's theorems and Zermelo's axioms : a firm foundation of mathematics
Paper図書
Lorenz Halbeisen, Regula KrapfBirkhäuserc2020
Other Libraries in Japan

An introduction to Gödel's theorems : hardback : pbk. 2nd ed

An introduction to Gödel's theorems : hardback : pbk. 2nd ed
Paper図書
Peter SmithCambridge University Press2013
Other Libraries in Japan

An introduction to Gödel's Theorems : hbk : pbk

An introduction to Gödel's Theorems : hbk : pbk
Paper図書
Peter SmithCambridge University Press2007
Other Libraries in Japan

Gödel's theorem : an incomplete guide to its use and abuse

Gödel's theorem : an incomplete guide to its use and abuse
Paper図書
Torkel FranzénA K Petersc2005
Other Libraries in Japan
  • Subject HeadingGödel's theorem Incompleteness theorems
  • Subject Heading (ID)Gödel's theorem Incompleteness theorems

Recursion theory, Gödel's theorems, set theory, model theory : hbk : pbk

Recursion theory, Gödel's theorems, set theory, model theory : hbk : pbk
Paper図書
René Cori and Daniel Lascar ; translated by Donald H. PelletierOxford University Press2001
Other Libraries in Japan

Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems

Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems
Paper図書
Roman MurawskiKluwer Academic Publishersc1999
Other Libraries in Japan
  • Subject HeadingRecursive functions Decidability (Mathematical logic) Gödel's theorem
  • Subject Heading (ID)Recursive functions Decidability (Mathematical logic) Gödel's theorem

Ｉｎｔｅｒｎａｔｉｏｎａｌ　Ｓｙｍｐｏｓｉｕｍ　ｏｎ　Ｇｏ¨ｄｅｌ’ｓ　Ｔｈｅｏｒｅｍｓ． １ｓｔ：２７－２９　Ｍａｙ　１９９１：Ｐａｒｉｓ

Ｉｎｔｅｒｎａｔｉｏｎａｌ　Ｓｙｍｐｏｓｉｕｍ　ｏｎ　Ｇｏ¨ｄｅｌ’ｓ　Ｔｈｅｏｒｅｍｓ． １ｓｔ：２７－２９　Ｍａｙ　１９９１：Ｐａｒｉｓ
Paper図書
ｅｄｉｔｏｒ，Ｚ．Ｗ．Ｗｏｌｋｏｗｓｋｉ． ;Ｗｏｒｌｄ　Ｓｃｉｅｎｔｉｆｉｃｃ１９９３．
Other Libraries in Japan

Gödel's theorem in focus : pbk.

Gödel's theorem in focus : pbk.
Paper図書
edited by S.G. ShankerRoutledge1989 c1988
Other Libraries in Japan
  • Subject HeadingGödel's theorem Gödel, Kurt
  • Subject Heading (ID)Gödel's theorem Gödel, Kurt

First International Symposium on Gödel's Theorems : Paris, 27-29 May 1991

First International Symposium on Gödel's Theorems : Paris, 27-29 May 1991
Paper図書
editor, Z.W. WolkowskiWorld Scientificc1993
Other Libraries in Japan
  • Subject HeadingGödel's theorem -- Congresses
  • Subject Heading (ID)Gödel's theorem -- Congresses
  • Author HeadingWolkowski, Z. W. (Zbigniew William) International Symposium on Gödel's Theorems

Gödel's theorems : a workbook on formalization : for Lauren

Gödel's theorems : a workbook on formalization : for Lauren
Paper図書
Verena Huber-DysonB.G. Teubner1991
Other Libraries in Japan
  • Subject HeadingGödel's theorem
  • Subject Heading (ID)Gödel's theorem

Gödel's theorem in focus : hard : pbk

Gödel's theorem in focus : hard : pbk
Paper図書
edited by S.G. ShankerCroom Helmc1988
Other Libraries in Japan
  • Subject HeadingGödel, Kurt Gödel's theorem
  • Subject Heading (ID)Gödel, Kurt Gödel's theorem

Gödel's theorem

Gödel's theorem
Paper図書
by A.S.DavisUniversity of Oklahoma, Dept. of Mathematics[1965]
Other Libraries in Japan

Mathematical logic : a course with exercises

Mathematical logic : a course with exercises
Paper図書
René Cori and Daniel Lascar ; translated by Donald H. PelletierOxford University Press2000-
Other Libraries in Japan
  • Related MaterialRecursion theory, Gödel's theorems, set theory, model theory Pr...

Experiencing science / Jeremy Bernstein.

Experiencing science / Jeremy Bernstein.
Paper図書
Basic Booksc1978.<M37-A3>
National Diet Library
  • Contents...s. Innovators, Godel's theorem.

Department of Mathematics Preprints

Department of Mathematics Preprints
Paper図書
University of Oklahoma, Dept. of MathematicsUniversity of Oklahoma, Dept. of Mathematics1964-
Other Libraries in Japan
  • Related Material... two variables Gödel's theorem Necessary and sufficient cond...
RSS