小樽商科大学の蔵書を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 511/.3)
該当件数:22件
The mathematical theory of L systems / Grzegorz Rozenberg, Arto Salomaa
New York : Academic Press , 1980. - (Pure and applied mathematics ; 90)
図書
The decision problem : solvable classes of quantificational formulas / Burton Dreben, Warren D. Goldfarb
Reading, Mass. : Addison-Wesley, Advanced Book Program , 1979
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)
Set theory / Thomas Jech
New York ; Tokyo : Academic Press , c1978. - (Pure and applied mathematics ; 79)
Grammars for programming languages / J. Craig Cleaveland, Robert C. Uzgalis
pbk. - New York : Elsevier , c1977. - (Elsevier computer science library ; . Programming languages series ; 4)
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 / edited by Marek Karpiński
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science ; 56)
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)
Formal languages and programming : proceedings of a seminar organized by UAM-IBM Scientific Center, Madrid April 23-25, 1975 / edited by R. Aguilar
Amsterdam : North-Holland , 1976
Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976 / edited by A. Mazurkiewicz
: gw,: us. - Berlin ; New York : Springer-Verlag , 1976. - (Lecture notes in computer science ; 45)
Mathematical logic / J. Donald Monk
New York : Springer-Verlag , 1976. - (Graduate texts in mathematics ; 37)
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)
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)
[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)
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)
Naive set theory / Paul R. Halmos
: us,: gw. - New York : Springer-Verlag , c1974. - (Undergraduate texts in mathematics)
Computability and logic / [by] George Boolos [and] Richard Jeffrey
Cambridge [Eng.] : University Press , [1974]
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)
Axiomatic set theory / by G. Takeuti and W. M. Zaring
us hard cover,us soft cover,gw soft cover. - New York : Springer-Verlag , c1973. - (Graduate texts in mathematics ; 8)
Recursive function theory and logic
New York : Academic Press , 1971. - (Computer science and applied mathematics)