京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(標準分類: 511/.3)
該当件数:41件
Set theory and logic / by Robert R. Stoll
New York : Dover Publications , 1979
図書
Gödel, Escher, Bach : an eternal golden braid / Douglas R. Hofstadter
New York : Harvester Wheatsheaf , 1979
[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in computer science ; 37)
Introduction to mathematical logic / Elliott Mendelson
New York : Van Nostrand , c1964. - (The university series in undergraduate mathematics)
The Calculi of symbolic logic, 1 / edited by V.P. Orevkov ; [translated from the Russian by A. Yablonsky]
Providence, R.I. : American Mathematical Society , 1971. - (Proceedings of the Steklov Institute of Mathematics ; no. 98, 1968)
Abstract set theory / Abraham A. Fraenkel
: North-Holland,(American Elsevier). - 4th rev. ed. / rev. by Azriel Lévy. - Amsterdam : North-Holland Pub. Co.. - New York : American Elsevier Pub. Co. , 1976, c1953. - (Studies in logic and the foundations of mathematics)
Axiomatic theory of sets and classes / Murray Eisenberg
New York : Holt, Rinehart and Winston , 1971
Formal languages / Arto Salomaa
New York : Academic Press , 1973. - (ACM monograph series)
Threshold logic and its applications / Saburo Muroga
New York : Wiley-Interscience , c1971
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)
Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday / edited by Leon Henkin ... [et al.]
Providence : Published for the Association for Symbolic Logic by the American Mathematical Society , 1974. - (Proceedings of symposia in pure mathematics ; v. 25)
Axiomatic set theory / [edited by Dana S. Scott]
pt. 1,pt. 2. - Providence : American Mathematical Society , 1971-1974. - (Proceedings of symposia in pure mathematics ; v. 13)
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)
Fuzzy sets and their applications to cognitive and decision processes : / edited by Lotfi A. Zadeh ... [et al.]
New York : Academic Press , 1975. - (Academic Press rapid manuscript reproduction)
Introduction to mathematical logic / Hans Hermes ; translated from German by Diana Schmidt
: us,: gw. - Berlin ; New York : Springer-Verlag , 1973. - (Universitext)
Fundamental theoretical elements / A. Kaufmann ; foreword by L.A. Zadeh ; translated by D.L. Swanson
New York : Academic Press , 1975. - (Introduction to the theory of fuzzy subsets / A. Kaufmann ; foreword by L. A. Zadeh ; translated by D. L. Swanson ; Vol. 1)
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)
Logic, foundations of mathematics, and computability theory / edited by Robert E. Butts and Jaakko Hintikka
: pbk. - Dordrecht ; Boston : D. Reidel , c1977. - (Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975 ; pt. 1). - (The University of Western Ontario series in philosophy of science ; v. 9)