京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(標準分類: QA9)
該当件数:26件
How to prove it : a structured approach / Daniel J. Velleman
:hbk,:pbk. - 2nd ed. - New York : Cambridge University Press , c2006
図書
Mathematical foundations of programming / Frank S. Beckman
Reading, MA : Addison-Wesley , c1980. - (The systems programming series)
Introduction to mathematical logic / Elliott Mendelson
New York : Van Nostrand , c1964. - (The university series in undergraduate mathematics)
Applications of model theory to algebra, analysis, and probability / edited by W.A.J. Luxemburg
New York : Holt, Rinehart and Winston , c1969
Evolution of mathematical concepts : an elementary study / Raymond L. Wilder
New York : Wiley , c1968
Constructive order types / [By] John N. Crossley
Amsterdam ; London : North-Holland Pub. Co. , 1969. - (Studies in logic and the foundations of mathematics)
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)
Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.]
: pbk. - Amsterdam ; New York : North-Holland Pub. Co. , 1977. - (Studies in logic and the foundations of mathematics ; v. 90)
A course in mathematical logic / Yu.I. Manin ; translated from the Russian by Neal Koblitz
: us,: gw. - New York : Springer-Verlag , c1977. - (Graduate texts in mathematics ; 53)
A transfinite type theory with type variables / by P.B. Andrews
Amsterdam : North-Holland Pub. Co. , 1965. - (Studies in logic and the foundations of mathematics)
Statistical methods and scientific inference
[2nd ed. rev.]. - Edinburgh : Oliver and Boyd , [1959]
Introduction to mathematical logic / Hans Hermes ; translated from German by Diana Schmidt
: us,: gw. - Berlin ; New York : Springer-Verlag , 1973. - (Universitext)
Collected works / Kurt Gödel ; edited by Solomon Feferman ... [et al.]
v. 1 - v. 5. - New York ; Oxford : Oxford University Press , 1986-2003
Models of ZF-set theory / Ulrich Felgner
Berlin ; New York : Springer-Verlag , 1971. - (Lecture notes in mathematics ; 223)
Lectures in set theory : with particular emphasis on the method of forcing / Thomas J. Jech
: u.s.,: Germany. - Berlin : Springer-Verlag , 1971. - (Lecture notes in mathematics ; 217)
Proof theory and intuitionistic systems / Bruno Scarpellini
: Germany,: U.S.. - Berlin ; New York : Springer-Verlag , 1971. - (Lecture notes in mathematics ; 212)
Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 6)
Set theory / Andreas R. Blass (editor)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 5)
Recursion theory / Peter G. Hinman (editor)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 4)
Model theory / Heinz-Dieter Ebbinghaus (editor)
: Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 3)