Jump to main content

yr 〜
yr

Search results 5

Proof theory : the first step into impredicativity

Proof theory : the first step into impredicativity
Paper図書
Wolfram PohlersSpringerc2009
Other Libraries in Japan
  • Author HeadingPohlers, Wolfram

Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 : hbk : pbk

Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 : hbk : pbk
Paper図書
edited by Zoé Chatzidakis, Peter Koepke, Wolfram PohlersA K Petersc2006
Other Libraries in Japan
  • Author Heading... Koepke, Peter Pohlers, Wolfram Colloquium Logicum 2002 (2002...

Proof theory : an introduction / Wolfram Pohlers. (Lecture notes in mathematics ; 1407)

Proof theory : an introduction / Wolfram Pohlers. (Lecture notes in mathematics ; 1407)
Paper図書
Springer-Verlagc1989.<MA41-A63>
National Diet LibraryOther Libraries in Japan
  • Author HeadingPohlers, Wolfram.

Proof theory : an introduction : gw : us

Proof theory : an introduction : gw : us
Paper図書
Wolfram PohlersSpringer-Verlagc1989
Other Libraries in Japan
  • Author HeadingPohlers, Wolfram

Ontos mathematical logic

Ontos mathematical logic
Paper図書
edited by Wolfram Pohlers ... [et al.]Ontos verlag
Other Libraries in Japan
  • Author HeadingPohlers, Wolfram Scanlon, Thomas Schimmerling,...

Reached to the end of result.

RSS