同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: Arithmetic Foundations)
該当件数:9件
Ordinal algebras / by Alfred Tarski with appendices by Chen-Chung Chang and Bjarni Jónsson
Amsterdam : North-Holland Pub. Co. , 1956. - (Studies in logic and the foundations of mathematics)
図書 <BB00105538>
The foundations of arithmetic : a logico-mathematical enquiry into the concept of number / English translation by J.L. Austin
2nd rev. ed. - Evanston, Ill. : Northwestern University Press , 1968, [c1959]
図書 <BB00105606>
Die Grundlagen der Arithmetik : eine logisch mathematische Untersuchung über den Begriff der Zahl / Gottlob Frege ; mit ergänzenden Texten kritisch herausgegeben von Christian Thiel
Centenarausg. - Hamburg : F. Meiner , c1986
図書 <BB10339325>
Introduction to logic and to the methodology of deductive sciences / by Alfred Tarski ; [tr. by Olaf Helmer]
[2nd ed., rev.]. - New York : Oxford University Press , [1946]
図書 <BB00196369>
Naive set theory / Paul R. Halmos
: us,: gw. - New York : Springer-Verlag , c1974. - (Undergraduate texts in mathematics)
図書 <BB00135841>
De l'infini mathématique / Louis Couturat
Paris : Félix Alcan , 1896
図書 <BB00345464>
Basic laws of arithmetic : derived using concept-script : Volumes I & II / by Gottlob Frege ; translated and edited by Philip A. Ebert & Marcus Rossberg with Crispin Wright ; and the advice of Michael Beaney ... [et al.] ; appendix by Roy T. Cook
Oxford : Oxford University Press , 2013
図書 <BB12674331>
Die Grundlagen der Arithmetik : eine logisch mathematische Untersuchung über den Begriff der Zahl / Gottlob Frege ; auf der Grundlage der Centenarausgabe herausgegeben von Christian Thiel
Hamburg : F. Meiner , c1988. - (Philosophische Bibliothek ; Bd. 366)
図書 <BB12574185>
Giuseppe Peano between mathematics and logic : proceeding of the International conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2-3, 2008 / editor, Fulvia Skof
alk. paper,alk. paper,e-ISBN. - Milan ; New York : Springer , c2011
電子書籍 <OB01025061>