選択資料から書架並びで前後20冊ずつを表示します。
Logic Colloquium ''88 : proceedings of the colloquium held in Padova, Italy, August22-31, 1988 / edited by R. Ferro ... [et al.]
1階中央図書
Elements of logic and foundations of mathematics in problems / Wiktor Marek and Janusz Onyszkiewicz
pbk.
1階中央図書
Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen and Anne S. Troelstra (editors)
: Germany
1階中央図書
Surveys / edited by Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba
1階中央図書
Contributions / edited by Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba
1階中央図書
Modal theory : an algebraic approach to order, geometry, and convexity / A.B. Romanowska, J.D.H. Smith
1階中央図書
Foundations without foundationalism : a case for second-order logic / Stewart Shapiro
1階中央図書
Approaches to algebra : perspectives for research and teaching / edited by Nadine Bednarz, Carolyn Kieran, and LesleyLee
1階中央図書