Jump to main content

yr 〜
yr

Search results 8

Chapter VII: Gödel-Dummett Logic

Chapter VII: Gödel-Dummett Logic
Digital図書
Baaz, Matthias, Preining, NorbertCollege Publications2011-12-21Handbook of Mathematical Fuzzy Logic2p.585-626
Other Libraries in Japan
  • Author HeadingBaaz, Matthias Preining, Norbert

Computer science logic : 17th international workshop CSL 2003 : 12th annual conference of the EACSL : 8th Kurt Godel colloquium, KGC 2003 : Vienna, Austria, August 25-30, 2003 : proceedings. : Aug 2003, Vienna, Austria. (Lecture Notes in Computer Science ; 2803)

Computer science logic : 17th international workshop CSL 2003 : 12th annual conference of the EACSL : 8th Kurt Godel colloquium, KGC 2003 : Vienna, Austria, August 25-30, 2003 : proceedings. : Aug 2003, Vienna, Austria. (Lecture Notes in Computer Science ; 2803)
Paper図書
Springerc2003.<M17-04-965>
National Diet Library
  • Author HeadingKurt Godel Society. Baaz, Matthias. Makowsky, Johann A., 1948- E...

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
  • Author HeadingGödel, Kurt Baaz, Matthias Papadimitriou, Christos H. Pu...

Methods of cut-elimination : pbk.

Methods of cut-elimination : pbk.
Paper図書
Matthias Baaz, Alexander LeitschSpringer2011
Other Libraries in Japan
  • Author HeadingBaaz, Matthias Leitsch, Alexander

Methods of cut-elimination

Methods of cut-elimination
Paper図書
Matthias Baaz, Alexander LeitschSpringerc2011
Other Libraries in Japan
  • Author HeadingBaaz, Matthias Leitsch, Alexander

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
  • Author HeadingGödel, Kurt Baaz, Matthias Papadimitriou, Christos H. Pu...

Logic Colloquium '01 : proceedings of the annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001 pbk.

Logic Colloquium '01 : proceedings of the annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001 pbk.
Paper図書
edited by Matthias Baaz, Sy-David Friedman, Jan KrajíčekA.K. Petersc2005
Other Libraries in Japan
  • Author HeadingLogic Colloquium Baaz, Matthias Friedman, Sy D. Krajíček, Jan...

Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
Paper図書
Matthias Baaz, Andrei Voronkov (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingLPAR Baaz, Matthias Voronkov, A. (Andreĭ)

Reached to the end of result.

RSS