著者
書誌事項
Tributes
College Publications
この図書・雑誌をさがす
関連文献： 8件中 1-8を表示
-
1
- Logic, philosophy of mathematics and their history : essays in honor of W.W. Tait
-
edited by Erich H. Reck
College Publications c2018 Tributes v. 36
所蔵館2館
-
2
- Liber amicorum alberti : a tribute to albert visser
-
edited by Jan van Eijck, Rosalie Iemhoff and Joost J. Joosten
College Publications c2016 Tributes 30
所蔵館2館
-
3
- Why is this a proof? : Festschrift for Luiz Carlos Pereira
-
edited by Edward Hermann Haeusler, Wagner de Campos Sanz and Bruno Lopes
College Publications c2015 Tributes v. 27
所蔵館1館
-
4
- Foundational Adventures : essays in honour of Harvey M. Friedman
-
edited by Neil Tennant
College Publications c2014 Tributes v. 22
所蔵館1館
-
5
- Infinity, computability, and metamathematics : festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch
-
edited by Stefan Geschke, Benedikt Löwe, Philipp Schlicht
College Publications c2014 Tributes 23
所蔵館2館
-
6
- Proofs, categories and computations : essays in honor of Grigori Mints
-
edited by Solomon Feferman and Wilfried Sieg
College Publications c2010 Tributes 13
所蔵館3館
-
7
- Truth and probability : essays in honour of Hugues Leblanc
-
editors, Bryson Brown and Fraçois Lepage
College Publications c2005 Tributes 3
: [pbk.]
所蔵館1館
-
8
- Kreisel's interests : on the foundations of logic and mathematics
-
edited by Paul Weingartner, Hans-Peter Leeb
College Publications c2020 Tributes v. 41
所蔵館1館