城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: Arithmetic Foundations)
該当件数:20件
Theory of arithmetic / {by} John A. Peterson {and} Joseph Hashisaki.
New York : Wiley , {1963}
図書
Mathematics for elementary teachers; an introduction / {by} G. Cuthbert Webber.
Reading, MA : Addison-Wesley , {1967}. - (Addison-Wesley series in science and mathematics education)
Grundlagen der Elementarmathematik / von Hanfried Lenz.
Bd. 52. - Berlin : Deutscher Verlag der Wissenschaften , 1961. - (Hochschulbucher fur Mathematik ; Bd. 52)
Modern elementary mathematics / by Morgan Ward and Clarence Ethel Hardgrove.
Reading, MA : Addison-Wesley , {1964}. - (Addison-Wesley series in science and mathematics education)
Ordinal algebras / with appendices by Chen-Chung Chang and Bjarni J?nsson.
Amsterdam : North-Holland , 1956. - (Studies in logic and the foundations of mathematics)
A modern introduction to basic mathematics
Reading, MA : Addison-Wesley , {1963}. - (Addison-Wesley series in science and mathematics education)
Naive set theory
Princeton, N.J. : Van Nostrand , {1960}. - (The University series in undergraduate mathematics)
Set theory and the number systems
Scranton : International Textbook Co. , {1967}. - (An ITC publication in mathematics)
The structure of the real number system / by Leon W. Cohen and Gertrude Ehrlich.
New York : D. Van Nostrand Reinhold , {1963}. - (The University series in undergraduate mathematics)
Einfuhrung in die mathematische Logik
5. - 2. neuarb. Aufl.. - Goettingen : Vandenhoeck & Ruprecht , {1966}. - (Moderne Mathematik in elementarer Darstellung ; 5)
Introduction to logic and to the methodology of deductive sciences / {Translated by Olaf Helmer.
GB133. - 3d ed. rev.}. - New York : Oxford University Press , 1965. - (A Galaxy book ; GB133)
Numbers, sets, and axioms : the apparatus of mathematics / A.G. Hamilton.
Cambridge, England : Cambridge University Press , 1982
Function Algebras on Finite Sets : Basic Course on Many-Valued Logic and Clone Theory / by Dietlinde Lau
1st ed. 2006.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2006). - (Springer Monographs in Mathematics. ISSN:21969922)
電子ブック
Logica Universalis : Towards a General Theory of Logic / edited by Jean-Yves Beziau
1st ed. 2005.. - (Basel : Birkhäuser Basel : Imprint: Birkhäuser , 2005)
2nd ed. 2007.. - (Basel : Birkhäuser Basel : Imprint: Birkhäuser , 2007)
Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / edited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka
1st ed. 2021.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2021). - (Springer Proceedings in Mathematics & Statistics. ISSN:21941017 ; 369)
Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV / edited by David Makinson, Jacek Malinowski, Heinrich Wansing
1st ed. 2009.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2009). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 28)
STACS 93 : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings / edited by Patrice Enjalbert, Alain Finkel, Klaus W. Wagner
1st ed. 1993.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1993). - (Lecture Notes in Computer Science. ISSN:16113349 ; 665)
Higher Order Logic Theorem Proving and Its Applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings / edited by Jeffrey J. Joyce, Carl-Johan H. Seger
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 780)
The dynamical Mordell-Lang conjecture / Jason P. Bell, Dragos Ghioca, Thomas J. Tucker
(Providence, Rhode Island : American Mathematical Society , [2016]). - (Mathematical Surveys and Monographs. ISSN:23317159 ; v. 210)