Jump to main content

yr 〜
yr

Search results 4

Kurt Gödel : essays for his centennial : pbk

Kurt Gödel : essays for his centennial : pbk
Paper図書
edited by Solomon Feferman, Charles Parsons, Stephen G. SimpsonAssociation for Symbolic Logic2013
Other Libraries in Japan
  • Subject HeadingGödel, Kurt -- Congresses Logic, Symbolic and mathemati...
  • Subject Heading (ID)Gödel, Kurt -- Congresses Logic, Symbolic and mathemati...

Kurt Gödel : essays for his centennial

Kurt Gödel : essays for his centennial
Paper図書
edited by Solomon Feferman, Charles Parsons, Steven G. SimpsonCambridge University Press2010
Other Libraries in Japan
  • Subject HeadingGödel, Kurt -- Congresses Logic, Symbolic and mathemati...
  • Subject Heading (ID)Gödel, Kurt -- Congresses Logic, Symbolic and mathemati...

Gödel remembered : Salzburg 10-12 July 1983

Gödel remembered : Salzburg 10-12 July 1983
Paper図書
R. Gödel ... [et al.] ; edited by Paul Weingartner and Leopold SchmettererBibliopolisc1987
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- Congresses Gödel, Kurt -- Congresses
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Congresses Gödel, Kurt -- Congresses

Mathematical logic and its applications

Mathematical logic and its applications
Paper図書
edited by Dimiter G. SkordevPlenum Pressc1987
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- Congresses Gödel, Kurt -- Congresses
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Congresses Gödel, Kurt -- Congresses

Reached to the end of result.

RSS