大学の資料を検索します。
CiNiiを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 511/.3)
該当件数:15件
General recursion theory : an axiomatic approach / Jens E. Fenstad
: us,: gw. - Berlin : Springer-Verlag , 1980. - (Perspectives in mathematical logic)
図書
Advances in fuzzy set theory and applications / edited by Madan M. Gupta, associate editors, Rammohan K. Ragade, Ronald R. Yager
Amsterdam : North-Holland Pub. Co.. - New York : sole distributors for the USA and Canada, Elsevier North-Holland , 1979
Recursion-theoretic hierarchies / Peter G.Hinman
: gw,: us. - Berlin : Springer-Verlag , 1978. - (Perspectives in mathematical logic)
Proof theory / Kurt Schütte ; translation from the German by J.N. Crossley
: us,: gw,gw. - Berlin : Springer-Verlag , 1977. - (Die Grundlehren der mathematischenWissenschaften ; Bd. 225)
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)
Éléments théoriques de base / [par] A. Kaufmann. Préf. du pr. L. A. Zadeh
Paris : Masson , 1977. - (Introduction à la théorie des sous-ensembles flous à l''usage des ingénieurs (fuzzy sets theory) ; t. 1)
Proofs and refutations : the logic of mathematical discovery / Imre Lakatos ; edited by JohnWorrall and Elie Zahar
: hard,: pbk. - Cambridge : Cambridge University Press , 1976
Applications à la linguistique à la logique et à la sémantique / [par] A. Kaufmann. Préf. du pr. L. A. Zadeh
Paris : Masson , 1975. - (Introduction à la théorie des sous-ensembles flous à l''usage des ingénieurs (fuzzysets theory) ; t. 2)
Fundamental theoretical elements / A. Kaufmann ; foreword by L.A. Zadeh ; translatedby D.L. Swanson
New York : Academic Press , 1975. - (Introduction to the theory of fuzzysubsets / A. Kaufmann ; foreword by L. A. Zadeh ; translated by D. L. Swanson ; Vol. 1)
Admissible sets and structures : an approach to definability theory / Jon Barwise
: gw,: us. - Berlin : Springer-Verlag , 1975. - (Perspectives in mathematical logic)
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)
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)
Logic : theory and practice / [by] M.K. Rennie [and] R.A. Girle
: pbk. - Brisbane : University of Queensland Press , 1973
Grundzüge der theoretischen Logik / D. Hilbert und W. Ackermann
6. Aufl. - Berlin : Springer , 1972. - (Die Grundlehren der mathematischen Wissenschaften ; Bd. 27)