選択資料から書架並びで前後20冊ずつを表示します。
Mathematical objects and mathematical knowledge / edited by Michael D. Resnik
書庫2階
The provenance of pure reason : essays in the philosophy of mathematics and its history / William Tait
書庫2階
Wittgenstein's lectures on the foundations of mathematics, Cambridge, 1939 : from the notes of R.G. Bosanquet, Norman Malcolm, Rush Rhees, and Yorick Smythies / edited by Cora Diamond
書庫2階
Wittgenstein's Vorlesungen über die Grundlagen der Mathematik Cambridge, 1939 / Nach den Aufzeichnungen von R. G. Bosanquet ... [et al.] ; Hrsg. von Cora Diamond. Übers. von Joachim Schulte
書庫2階
Frontiers of combining systems : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : Proceedings / Hélène Kirchner, Christophe Ringeissen (eds.)
書庫2階
Frontiers of combining systems : 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : Proceedings / Alessandro Armando (ed.)
書庫2階
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors
書庫2階
Philosophical Aspects of Symbolic Reasoning in Early Modern Mathematics / Heeffer, Albrecht, Van Dyck, Maarten
書庫2階
Logic and computational complexity : International Workshop LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers / Daniel Leivant (ed.)
書庫2階
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews
書庫2階
Einführung in die mathematische Logik / von Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
書庫2階
Mathematical logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
: hbk
書庫2階
Grundgesetze der Arithmetik / Begriffsschriftlich abgeleitet von G. Frege
Bd. 1
書庫2階
Grundgesetze der Arithmetik / Begriffsschriftlich abgeleitet von G. Frege
Bd. 2
書庫2階