城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Heyting A.)
該当件数:8件
Axiomatic projective geometry
. 5. - Groningen : P. Noordhoff , {1963?}. - (Bibliotheca mathematica, a series of monographs on pure and applied mathematics ; . 5)
図書
Constructivity in mathematics. Proceedings of the colloquium held at Amsterdam, 1957. / by A. Heyting.
1957. - Amsterdam : North-Holland , 1959. - (Studies in logic and the foundations of mathematics ; 1957)
Intuitionism; an introduction
{2d rev. ed.}. - Amsterdam : North-Holland , {1966}. - (Studies in logic and the foundations of mathematics)
Mathematische Grundlagenforschung : Intuitionismus, Beweistheorie / von A. Heyting
Berlin : Springer , 1934. - (Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 3, Heft 4)
L.E.J. Brouwer, collected works, 1
Amsterdam : North-Holland , 1975
Collected works. v. 1 / L. E. J. Brouwer.
Amsterdam : North-Holland , 1975. - New York : American Elsevier , 1975
Collected works. v. 2 / L. E. J. Brouwer.
Amsterdam : North-Holland , 1976. - New York : American Elsevier , 1976
Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen.
v. 121, 123. - Amsterdam : North-Holland , 1988. - (Studies in logic and the foundations of mathematics ; "v. 121, 123")