close
1.

図書

図書
[by] A. C. Leisenring
出版情報: London : Macdonald Technical & Scientific, 1969  ix, 142 p ; 24 cm
シリーズ名: University mathematical series
所蔵情報: loading…
2.

図書

図書
Ludwig Wittgenstein ; herausgegeben von Rush Rhees
出版情報: Oxford : B. Blackwell, c1969  490 p. ; 23 cm
所蔵情報: loading…
3.

図書

図書
edited by L. Borkowski ; [translated from the Polish by O. Wojtasiewicz]
出版情報: Amsterdam ; London : North-Holland, 1970  xii, 405 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
4.

図書

図書
G. Kreisel and J. L. Krivine
出版情報: Amsterdam : North Holland Pub. Co., 1967  xi, 221 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
5.

図書

図書
Abraham Robinson
出版情報: Amsterdam : North-Holland Pub. Co., 1966  xi, 293 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
6.

図書

図書
by J.L. Bell and M. Machover
出版情報: Amsterdam ; Tokyo : North-Holland Pub. Co. , New York : Sole distributors for the U.S.A. and Canada American Elsevier Pub. Co., 1977  xviii, 599 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Beginning Mathematical Logic / 1:
First-Order Logic / 2:
First-Order Logic (continued) / 3:
Boolean Algebras / 4:
Model Theory / 5:
Recursion Theory / 6:
Logic - Limitative Results / 7:
Recursion Theory (continued) / 8:
Intuitionistic First-Order Logic / 9:
Axiomatic Set Theory / 10:
Nonstandard Analysis / 11:
Bibliography
Beginning Mathematical Logic / 1:
First-Order Logic / 2:
First-Order Logic (continued) / 3:
7.

図書

図書
edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.]
出版情報: Amsterdam ; New York : North-Holland Pub. Co., 1977  xi, 1165 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 90
所蔵情報: loading…
目次情報: 続きを見る
Model Theory / J. Barwise ; P.C. Eklof ; H.J. Keisler ; A. Kock ; A. Macintyre ; M. Makkai ; M. Morley ; G.E. Reyes ; K.D. Stroyan
Set Theory / J.P. Burgess ; K.J. Devlin ; T.J. Jech ; I. Juhasz ; K. Kunen ; M.E. Rudin ; J.R. Schoenfield
Recursion Theory / P. Aczel ; M. Davis ; H.B. Enderton ; A. Kechris ; D.A. Martin ; Y.N. Moschovakis ; M.O. Rabin ; R.A. Shore ; S.G. Simpson
Proof Theory and Constructive Mathematics / H. Barendregt ; S. Feferman ; M.P. Fourman ; L. Harrington ; J. Paris ; H. Schwichtenberg ; C. Smorynski ; R. Statman ; A.S. Troelstra
Indices
Model Theory / J. Barwise ; P.C. Eklof ; H.J. Keisler ; A. Kock ; A. Macintyre ; M. Makkai ; M. Morley ; G.E. Reyes ; K.D. Stroyan
Set Theory / J.P. Burgess ; K.J. Devlin ; T.J. Jech ; I. Juhasz ; K. Kunen ; M.E. Rudin ; J.R. Schoenfield
Recursion Theory / P. Aczel ; M. Davis ; H.B. Enderton ; A. Kechris ; D.A. Martin ; Y.N. Moschovakis ; M.O. Rabin ; R.A. Shore ; S.G. Simpson
8.

図書

図書
Harry C. Bunt
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985  xiii, 325 p. ; 24 cm
シリーズ名: Cambridge studies in linguistics ; 42
所蔵情報: loading…
目次情報: 続きを見る
Preface
Model-Theoretic Semantics of Mass Terms / Part I:
Introduction / 1:
Mass terms / 2:
Approaches to mass term semantics / 3:
Towards a semantic theory of mass nouns / 4:
Ensemble theory / 5:
Semantic representations based on ensemble theory / 6:
Two-level model-theoretic semantics / 7:
Quantification and mass nouns / 8:
Modification and mass nouns / 9:
Ensemble Theory / Part II:
Axiomatic ensemble theory / 10:
Continuous, discrete and mixed ensembles / 11:
A model for ensemble theory / 12:
Ensemble theory, set theory and mereology / 13:
Notes
Bibliography
Index
Preface
Model-Theoretic Semantics of Mass Terms / Part I:
Introduction / 1:
9.

図書

図書
by Rudolf Carnap
出版情報: Cambridge, Mass. : Harvard University Press, [1959], c1943  xiv, 259, xv, 159 p. ; 22 cm
シリーズ名: Studies in semantics ; v. 1-2
所蔵情報: loading…
目次情報:
Vol.I:Introduction to semantics
Vol.II:Formalization of logic
Vol.I:Introduction to semantics
Vol.II:Formalization of logic
10.

図書

図書
G. Spencer Brown
出版情報: London : Allen & Unwin, 1969  xx, 142 p. ; 23 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼