Ontos mathematical logic
-
- Schimmerling, Ernest
-
- Schindler, Ralf
著者
-
- Schimmerling, Ernest
-
- Schindler, Ralf
書誌事項
Ontos mathematical logic
edited by Wolfram Pohlers ... [et al.]
Ontos verlag
この図書・雑誌をさがす
関連文献： 5件中 1-5を表示
-
1
- Concepts of proof in mathematics, philosophy, and computer science
-
edited by Dieter Probst and Peter Schuster
De Gruyter c2016 Ontos mathematical logic / edited by Wolfram Pohlers ... [et al.] v. 6
所蔵館2館
-
2
- Logic without borders
-
edited by Åsa Hirvonen, Juha Kontinen, Roman Kossak, and Andrés Villaveces
De Gruyter c2015 Ontos mathematical logic / edited by Wolfram Pohlers ... [et al.] v. 5
所蔵館1館
-
3
- Logic, computation, hierarchies
-
edited by Vasco Brattka, Hannes Diener, Dieter Spreen
De Gruyter c2014 Ontos mathematical logic / edited by Wolfram Pohlers ... [et al.] v.4
所蔵館3館
-
4
- Logic, Construction, Computation
-
Ulrich Berger ... [et al.] (eds.)
Ontos verlag, 2012 Ontos mathematical logic / edited by Wolfram Pohlers ... [et al.] v. 3
所蔵館2館
-
5
- Church's thesis after 70 years
-
Adam Olszewski , Jan Woleński , Robert Janusz (Eds.)
ontos verlag 2006 Ontos mathematical logic / edited by Wolfram Pohlers ... [et al.] v.1
所蔵館3館