Jump to main content

yr 〜
yr

Search results 26

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
  • LCCQA9.65

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
  • LCCQA9.65

Kurt Gödel and the foundations of mathematics : horizons of truth : pbk

Kurt Gödel and the foundations of mathematics : horizons of truth : pbk
Paper図書
edited by Matthias Baaz ... [et al.]Cambridge University Press2014, c2011
Other Libraries in Japan
  • LCCQA9.65

Gödel's way : exploits into an undecidable world pbk.

Gödel's way : exploits into an undecidable world pbk.
Paper図書
Gregory Chaitin, Newton C.A. da Costa & Francisco A. DoriaCRC Pressc2012
Other Libraries in Japan
  • LCCQA9.65

Kurt Gödel and the foundations of mathematics : horizons of truth : hbk

Kurt Gödel and the foundations of mathematics : horizons of truth : hbk
Paper図書
edited by Matthias Baaz ... [et al.]Cambridge University Press2011
Other Libraries in Japan
  • LCCQA9.65

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
  • LCCQA9.65

Gödel's proof

Gödel's proof
Paper図書
Ernest Nagel and James R. NewmanRoutledge2005, c1958
Other Libraries in Japan
  • LCCQA9.65

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
  • LCCQA9.65

The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions : pbk.

The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions : pbk.
Paper図書
edited by Martin DavisDover Publication2004
Other Libraries in Japan
  • LCCQA9.65

Aspects of incompleteness : pbk. : acid-free paper 2nd ed

Aspects of incompleteness : pbk. : acid-free paper 2nd ed
Paper図書
by Per LindströmAssociation for Symbolic Logicc2003
Other Libraries in Japan
  • LCCQA9.65

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
  • LCCQA9.65

Gödel's proof : [pbk.] Rev. ed

Gödel's proof : [pbk.] Rev. ed
Paper図書
by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. HofstadterNew York University Pressc2001
Other Libraries in Japan
  • LCCQA9.65

The classical decision problem : gw

The classical decision problem : gw
Paper図書
Egon Börger, Erich Grädel, Yuri GurevichSpringerc1997
Other Libraries in Japan
  • LCCQA9.65

Decidability and generalized quantifiers / von Andreas Baudisch ... [et al.]. (Mathematical research = Mathematische Forschung ; Bd. 3)

Decidability and generalized quantifiers / von Andreas Baudisch ... [et al.]. (Mathematical research = Mathematische Forschung ; Bd. 3)
Paper図書
Akademie-Verlag1980.<MA41-163>
National Diet Library
  • LCCQA9.65

Gödel's incompleteness theorems

Gödel's incompleteness theorems
Paper図書
Raymond M. SmullyanOxford University Press1992
Other Libraries in Japan
  • LCCQA9.65

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
  • LCCQA9.65

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
  • LCCQA9.65

Komplexität von Entscheidungsproblemen : ein Seminar / editors Ernst Specker, Volker Strassen. (Lecture notes in computer science ; 43)

Komplexität von Entscheidungsproblemen : ein Seminar / editors Ernst Specker, Volker Strassen. (Lecture notes in computer science ; 43)
Paper図書
Springer-Verlag1976.<MA41-108>
National Diet Library
  • LCCQA9.65

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
  • LCCQA9.65

Forever undecided : a puzzle guide to Gödel

Forever undecided : a puzzle guide to Gödel
Paper図書
by Raymond SmullyanOxford University Press1988, c1987
Other Libraries in Japan
  • LCCQA9.65
RSS