本文に飛ぶ

年 〜
年

検索結果 4 件

Kurt Gödel : essays for his centennial : pbk

Kurt Gödel : essays for his centennial : pbk
紙図書
edited by Solomon Feferman, Charles Parsons, Stephen G. SimpsonAssociation for Symbolic Logic2013
全国の図書館
  • 件名Gödel, Kurt -- Congresses Logic, Symbolic and mathemati...
  • 件名（識別子）Gödel, Kurt -- Congresses Logic, Symbolic and mathemati...

Kurt Gödel : essays for his centennial

Kurt Gödel : essays for his centennial
紙図書
edited by Solomon Feferman, Charles Parsons, Steven G. SimpsonCambridge University Press2010
全国の図書館
  • 件名Gödel, Kurt -- Congresses Logic, Symbolic and mathemati...
  • 件名（識別子）Gödel, Kurt -- Congresses Logic, Symbolic and mathemati...

Gödel remembered : Salzburg 10-12 July 1983

Gödel remembered : Salzburg 10-12 July 1983
紙図書
R. Gödel ... [et al.] ; edited by Paul Weingartner and Leopold SchmettererBibliopolisc1987
全国の図書館
  • 件名Logic, Symbolic and mathematical -- Congresses Gödel, Kurt -- Congresses
  • 件名（識別子）Logic, Symbolic and mathematical -- Congresses Gödel, Kurt -- Congresses

Mathematical logic and its applications

Mathematical logic and its applications
紙図書
edited by Dimiter G. SkordevPlenum Pressc1987
全国の図書館
  • 件名Logic, Symbolic and mathematical -- Congresses Gödel, Kurt -- Congresses
  • 件名（識別子）Logic, Symbolic and mathematical -- Congresses Gödel, Kurt -- Congresses

検索結果は以上です。

RSS