小樽商科大学の蔵書を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA9)
該当件数:34件
Collected works / Kurt Gödel ; edited by Solomon Feferman ... [et al.]
v. 1,v. 2,v. 3. - Pbk. ed. - New York ; Oxford : Oxford University Press , 2001, c1986-c1995
図書
Theory of deductive systems and its applications / S.Yu. Maslov ; translated by Michael Gelfond and Vladimir Lifschitz
Cambridge, Mass. : MIT Press , c1987. - (MIT Press series in the foundations of computing)
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews
: pbk.. - Orlando ; Tokyo : Academic Press , 1986. - (Computer science and applied mathematics)
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas
: us,: gw. - New York : Springer-Verlag , c1984. - (Undergraduate texts in mathematics)
Mathematical foundations of programming / Frank S. Beckman
Reading, MA : Addison-Wesley , c1980. - (The systems programming series)
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
: us,: gw. - New York ; Tokyo : Springer-Verlag , c1979. - (Undergraduate texts in mathematics)
Two applications of logic to mathematics / by Gaisi Takeuti
ja. - [Tokyo] : Iwanami Shoten. - [Princeton, N.J.] : Princeton University Press , 1978. - (Publications of the Mathematical Society of Japan ; 13 . Kanō memorial lectures ; 3)
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)
Mathematical logic / J. Donald Monk
New York : Springer-Verlag , 1976. - (Graduate texts in mathematics ; 37)
An algebraic introduction to mathematical logic / Donald W. Barnes, John M. Mack
us,gw. - New York : Springer-Verlag , c1975. - (Graduate texts in mathematics ; v. 22)
Symbolic logic and mechanical theorem proving / [by] Chin-liang Chang [and] Richard Char-Tung Lee
New York : Academic Press , [1973]. - (Computer science and applied mathematics)
Introduction to combinatory logic / J.R. Hindley, B.Lercher, J. P. Seldin
Cambridge : Cambridge University Press , 1972. - (London Mathematical Society lecture note series ; 7)
Introduction to axiomatic set theory / G. Takeuti, W.M. Zaring
soft cover. - New York : Springer-Verlag , c1971. - (Graduate texts in mathematics ; 1)
Strict finitism : an examination of Ludwig Wittgenstein's remarks on the foundations of mathematics / [by] Charles F. Kielkopf
The Hague : Mouton , 1970. - (Studies in philosophy ; v. 15)
Foundations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Gödel / edited by Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn
New York : Springer-Verlag , 1969
Mathematical logic : a first course / [by] Joel W. Robbin
New York : W. A. Benjamin , 1969. - (University mathematics series)
History of mathematical logic from Leibniz to Peano / [by] N.I. Styazhkin
Cambridge, Mass. : M.I.T. Press , [c1969]
Éléments de logique mathématique : théorie des modèles / G. Kreisel, J. L. Krivine
Paris : Dunod , 1967. - (Monographies de la Sociéte Mathématique de France ; 3)
Algebraic methods of mathematical logic / Ladislav Rieger ; translated by Michael Basch
Prague : Academia. - New York : Academic Press , 1967
Формирование математической логики / Н.И. Стяжкин
Москва : Наука , 1967