close
1.

図書
図書
1. Set theory and the continuum hypothesis
Paul J. Cohen
出版情報: New York ; Amsterdam : Benjamin, 1966  154 p. ; 24 cm
シリーズ名: Mathematics lecture note series
所蔵情報: loading…
2.

図書
図書
2. Handbook of mathematical logic (: pbk)
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
3.

図書
図書
3. Symbolic logic and mechanical theorem proving
Chin-Liang Chang, Richard Char-Tung Lee
出版情報: New York : Academic Press, c1973  xiii, 331 p. ; 24 cm
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…
4.

図書
図書
4. Mathematical foundations of programming
Frank S. Beckman
出版情報: Reading, MA : Addison-Wesley, c1980  xviii, 443 p. ; 25 cm
シリーズ名: The systems programming series
所蔵情報: loading…
5.

図書
図書
5. Introduction to mathematical logic : set theory, computable functions, model theory (: us ; : gw ; : pbk.)
Jerome Malitz
出版情報: New York ; Tokyo : Springer-Verlag, c1979  xii, 198 p. ; 25 cm
シリーズ名: Undergraduate texts in mathematics
所蔵情報: loading…
6.

図書
図書
6. Computability and logic (: U.K. - : U.S., pbk)
Daniel E. Cohen
出版情報: Chichester, West Sussex, England : E. Horwood , New York : Halsted Press [distributor], 1987  243 p. ; 25 cm
シリーズ名: Ellis Horwood series in mathematics and its applications
所蔵情報: loading…
7.

図書
図書
7. Foundations of mathematical logic
Haskell B. Curry
出版情報: New York : Dover Publications, 1977  viii, 408 p. ; 21 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Explanation of Conventions
Introduction / Chapter 1：
The nature of mathematical logic / 1：
The logical antinomies / 2：
The nature of mathematics / 3：
Mathematics and logic / 4：
Supplementary topics / 5：
Formal Systems / Chapter 2：
Preliminaries
Theories
Systems
Special forms of systems
Algorithms
Epitheory / 6：
The nature of epitheory
Replacement and monotone relations
The theory of definition
Variables
Relational logical algebra / Chapter 4：
Logical algebras in general
Lattices
Skolem lattices
Classical Skolem lattices
The Theory of Implication / Chapter 5：
General principles of assertional logical algebra
Propositional algebras
The systems LA and LC
Equivalence of the systems
L deducibility
Negation / Chapter 6：
The nature of negation
L systems for negation
Other formulations of negation
Technique of classical negation
Quantification / Chapter 7：
Formulation
Theory of the L systems
Other forms of quantification theory
Classical epitheory
Modality / Chapter 8：
Formulation of necessity
The L theory of necessity
The T and H formulations of necessity
Supplementary topics Bibliography
Index
Preface
Explanation of Conventions
Introduction / Chapter 1：
8.

図書
図書
8. Selected works, Jan Lukasiewicz
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…
9.

図書
図書
9. Algebraic systems (: gw ; : us ; : pbk)
A.I. Malʹcev ; translated from the Russian by B.D. Seckler and A.P. Doohovskoy
出版情報: Berlin ; New York : Springer-Verlag, 1973  xii, 317 p. ; 24 cm
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 192
所蔵情報: loading…
10.

図書
図書
10. Formal concept analysis : mathematical foundations (: softcover)
Bernhard Ganter, Rudolf Wille ; [translated from the German by Cornelia Franzke]
出版情報: Beelin ; New York : Springer, c1999  x, 284 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Order-theoretic Foundations / 0：
Ordered Sets / 0.1：
Complete Lattices / 0.2：
Closure Operators / 0.3：
Galois Connections / 0.4：
Hints and References / 0.5：
Concept Lattices of Contexts / 1：
Context and Concept / 1.1：
Context and Concept Lattice / 1.2：
Many-valued Contexts / 1.3：
Context Constructions and Standard Scales / 1.4：
Determination and Representation / 1.5：
All Concepts of a Context / 2.1：
Diagrams / 2.2：
Implications between Attributes / 2.3：
Dependencies between Attributes / 2.4：
Parts and Factors / 2.5：
Subcontexts / 3.1：
Complete Congruences / 3.2：
Closed Subrelations / 3.3：
Block Relations and Tolerances / 3.4：
Decompositions of Concept Lattices / 3.5：
Subdirect Decompositions / 4.1：
Atlas-decompositions / 4.2：
Substitution / 4.3：
Tensorial Decompositions / 4.4：
Constructions of Concept Lattices / 4.5：
Subdirect Product Constructions / 5.1：
Gluings / 5.2：
Local Doubling / 5.3：
Tensorial Constructions / 5.4：
Properties of Concept Lattices / 5.5：
Distributivity / 6.1：
Semimodularity and Modularity / 6.2：
Semidistributivity and Local Distributivity / 6.3：
Dimension / 6.4：
Context Comparison and Conceptual Measurability / 6.5：
Automorphisms of Contexts / 7.1：
Morphisms and Bonds / 7.2：
Scale Measures / 7.3：
Measurability Theorems / 7.4：
References / 7.5：
Index
Order-theoretic Foundations / 0：
Ordered Sets / 0.1：
Complete Lattices / 0.2：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼