search materials(including e-books and e-journals) held by Hokkaido university.
search materials held by universities in Japan.
search information on academic articles published in Japan.
search NDL(National Diet Library) online, NDL Digitized Contents and "Aozora Bunko", materials of a Japanese digital library.
Search keyword:(Standard classification: QA9)
Results:237items
Mathematical philosophy : a study of fate and freedom : lectures for educated laymen / by Cassius J. Keyser
Honolulu : University Press of the Pacific , c2001
ID=2000994119 NCID=BA56529874
Aristotle on mathematical infinity / Theokritos Kouremenos
Stuttgart : Franz Steiner Verlag , 1995. - (Palingenesia : Monographien und Texte zur klassischen Altertumswissenschaft / herausgegeben von Otto Lendle und Peter Steinmetz ; Bd. 58)
ID=2000640882 NCID=BA28416009
Proofs and types / Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont
Cambridge : Cambridge University Press , 1989. - (Cambridge tracts in theoretical computer science ; 7)
ID=2000284577 NCID=BA06868186
Methodisches Denken / Paul Lorenzen
2. Aufl. - Frankfurt am Main : Suhrkamp , 1980, c1968. - (Suhrkamp Taschenbuch Wissenschaft ; 73)
ID=2001146520 NCID=BA45819056
Wahrheit und Beweisbarkeit : e. Unters. über d. Verhältnis von Denken u. Anschauung in d. Mathematik / Johann Glöckl
1. Aufl. - Bonn : Bouvier , 1976. - (Abhandlungen zur Philosophie, Psychologie und Pädagogik ; Bd. 107)
ID=2000214802 NCID=BA05125062
La logique de Charles Sanders Peirce : de l'algèbre aux graphes / Pierre Thibaud
Aix-en-Provence : Éditions de l'Université de Provence , 1975. - (Études philosophiques ; 1)
ID=2000600341 NCID=BA05123668
Logique, automatique, informatique / [Recherches. Sous la direction de Gr. C. Moisil]
Bucarest : Éditions de l'Académie de la République Socialiste de Roumanie , 1971
ID=2000285741 NCID=BA0763026X
Logique des propositions et des prédicats ; Déduction naturelle / Jean-Blaise Grize
[Paris] : Mouton , c1969. - (Mathématiques et sciences de l'homme ; 10 . Logique moderne ; fasc. 1)
ID=2000287608 NCID=BA07660544
Гносеологические проблемы формализации / [Д.П. Горский (ответственный редактор), А.К. Манеев, Д.И. Широканов, редакционная коллегия
Минск : "Наука и техника" , 1969
ID=2000772801 NCID=BA41711896
Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung / von Wolfgang Stegmüller
Wien : Springer-Verlag , 1959
ID=2001245462 NCID=BA07552257
Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957 / edited by A. Heyting
Amsterdam : North-Holland Publishing Co. , 1959. - (Studies in logic and the foundations of mathematics)
ID=2000602143 NCID=BA0824254X
Beiträge zur Philosophie der Logik und Mathematik / von Leonard Nelson ; mit einführenden und ergänzenden Bemerkungen von Wilhelm Ackermann, Paul Bernays, David Hilbert
Frankfurt a.M. : Verlag Öffentliches Leben , c1959
ID=2000214797 NCID=BA05124649
Raum und Zahl / Kurt Reidemeister
Berlin : Springer , 1957
ID=2001250125 NCID=BA40732391
General analysis / by Eliakim Hastings Moore ; with the cooperation of Raymond Walter Barnard
pt. 1,pt.2,pt. 1-2. - Philadelphia : The American philosophical society , 1935
ID=2001356515 NCID=BA47630516
Der Zahlbegriff seit Gauss : eine Erkenntnistheoretische Untersuchung / von Gerhard Stammler
Halle : M. Niemeyer , 1926
ID=2000852307 NCID=BA10571409
Introduction to mathematical philosophy / by Bertrand Russell
2nd ed. - London : G. Allen & Unwin, ltd. , 1920
ID=2001355827 NCID=BA00517393
2nd ed. - London : Allen & Unwin. - New York : Macmillan , 1920. - (Muirhead library of philosophy)
ID=2001305935 NCID=BA30833574
London : Allen & Unwin. - New York : Macmillan , 1919. - (Muirhead library of philosophy)
ID=2000759028 NCID=BA21145220
Lectures on the philosophy of mathematics / by James Byrnie Shaw
Chicago ; London : Open Court , 1918
ID=2001354277 NCID=BA18283860
Mysticism in modern mathematics / by Hastings Berkeley
London : Henry Frowde : Oxford University Press , 1910
ID=2001358106 NCID=BA5499092X