1.
図書
Ian Stewart and David Tall
出版情報:
Oxford : Oxford University Press, 2015 xvi, 391 p. ; 22 cm
子書誌情報:
loading…
所蔵情報:
loading…
2.
図書
Michał Zawidzki
出版情報:
Łódź : Łódź University Press , Kraków : Jagiellonian University Press, c2014 xiv, 215 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
3.
図書
Sergei Artemov, Melvin Fitting
4.
図書
by Rudolf Carnap ; translated by William H. Meyer and John Wilkinson
出版情報:
New York : Dover, 1958 xiv, 241 p. ; 21 cm
子書誌情報:
loading…
所蔵情報:
loading…
5.
図書
by Rudolf Carnap ; [translated by Amethe Smeaton]
6.
図書
Paul J. Cohen
7.
図書
Donald W. Barnes, John M. Mack
8.
図書
Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker
9.
図書
G. Spencer Brown
出版情報:
London : Allen & Unwin, 1969 xx, 142 p. ; 23 cm
子書誌情報:
loading…
所蔵情報:
loading…
10.
図書
David W. Etherington
11.
図書
David Harel
12.
図書
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…
所蔵情報:
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:
13.
図書
by Arthur Prior
出版情報:
Oxford ; Tokyo : Clarendon Press, c1967 x, 217 p. ; 23 cm
子書誌情報:
loading…
所蔵情報:
loading…
14.
図書
edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.]
目次情報:
続きを見る
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
15.
図書
by Rudolf Carnap
出版情報:
Cambridge, Mass. : Harvard University Press, [1959], c1943 xiv, 259, xv, 159 p. ; 22 cm
シリーズ名:
Studies in semantics ; v. 1-2
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
Vol.I:Introduction to semantics
Vol.II:Formalization of logic
Vol.I:Introduction to semantics
Vol.II:Formalization of logic
16.
図書
by Alfred Tarski and Steven Givant
目次情報:
続きを見る
The formalism $\mathcal L$of predicate logic
The formalism $\mathcal L^+$, a definitional extension of $\mathcal L$
The formalism $\mathcal L^+$ without variables and the problem of its equipollence with $\mathcal L$
The relative equipollence of $\mathcal L$ and $\mathcal L^+$, and the formalization of set theory in $\mathcal L^\times$
Some improvements of the equipollence results Implications of the main results for semantic and axiomatic foundations of set theory
Extension of results to arbitrary formalisms of predicate logic, and applications to the formalization of the arithmetics of natural and real numbers
Applications to relation algebras and to varieties of algebras
Bibliography
Indices
The formalism $\mathcal L$of predicate logic
The formalism $\mathcal L^+$, a definitional extension of $\mathcal L$
The formalism $\mathcal L^+$ without variables and the problem of its equipollence with $\mathcal L$
17.
図書
Evert Willem Beth
出版情報:
Dordrecht, Holland : D. Reidel Publishing Co., 1962 xiv, 170 p. ; 23 cm
シリーズ名:
Synthese library
子書誌情報:
loading…
所蔵情報:
loading…
18.
図書
Ionel Bucur ; translated from the Romanian by Mihnea Moroianu
出版情報:
București, Romania : Editura Academiei , Dordrecht ; Boston : D. Reidel , Hingham, MA, U.S.A. : Distributors for the U.S.A. and Canada, Kluwer Academic Publishers, c1984 viii, 406 p. ; 23 cm
シリーズ名:
Mathematics and its applications ; East European series
子書誌情報:
loading…
所蔵情報:
loading…
19.
図書
A.G. Dragalin
目次情報:
続きを見る
Introduction to Proof Theory
Logic Arithmetic
Algebraic models
Analysis Eliminability of cuts in the intuitionistic simple theory of types in the form of a sequent calculus with extensionality
An algebraic approach to models of realizability type / Appendix A:
A strong form of the normalization theorem / Appendix B:
Introduction to Proof Theory
Logic Arithmetic
Algebraic models
20.
図書
Chin-Liang Chang, Richard Char-Tung Lee
21.
図書
Harry C. Bunt
目次情報:
続きを見る
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:
22.
図書
Karl Menger
23.
図書
Frank S. Beckman
24.
図書
Jerome Malitz
25.
図書
Daniel E. Cohen
26.
図書
Haskell B. Curry
出版情報:
New York : Dover Publications, 1977 viii, 408 p. ; 21 cm
子書誌情報:
loading…
所蔵情報:
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:
27.
図書
by Václav Pinkava
出版情報:
Cambridge, Mass. : Abacus Press, 1988 132 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
28.
図書
by Charles F. Miller, III
出版情報:
Princeton, N.J. : Princeton University Press , [Tokyo] : University of Tokyo Press, 1971 viii, 106 p. ; 24 cm
シリーズ名:
Annals of mathematics studies ; no. 68
子書誌情報:
loading…
所蔵情報:
loading…
29.
図書
edited by L. Borkowski ; [translated from the Polish by O. Wojtasiewicz]
30.
図書
A.I. Malʹcev ; translated from the Russian by B.D. Seckler and A.P. Doohovskoy
31.
図書
Paul J. Cohen
出版情報:
New York ; Amsterdam : W.A. Benjamin, 1966 154 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
32.
図書
Gerald E. Sacks
33.
図書
D. Hilbert and W. Ackermann ; translated from the German by Lewis M. Hammond, George G. Leckie, F. Steinhardt ; edited and with notes by Robert E. Luce
出版情報:
Providence, R.I. : American Mathematical Society, 1999 xii, 172 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
The sentential calculus
The calculus of classes (monadic predicate calculus)
The restricted predicate calculus
The extended predicate calculus Editor's notes
Bibliography
Index
The sentential calculus
The calculus of classes (monadic predicate calculus)
The restricted predicate calculus
34.
図書
by M.E. Munroe
35.
図書
David Lewis
目次情報:
続きを見る
Introduction
Adverbs of quantification / 1:
Index, context, and content / 2:
æWhetherÆ report / 3:
Probabilities of conditionals and conditional probabilities / 4:
Probabilities of conditionals and conditional probabilities II / 5:
Intensional logics without iterative axioms / 6:
Ordering semantics and premise semantics for Counterfactuals / 7:
Logic for equivocators / 8:
Relevant implication / 9:
Statements partly about observation / 10:
AyerÆs first empiricist criterion of meaning: why does it fail? / 11:
Analog and digital / 12:
Lucas against mechanism / 13:
Lucas against mechanism II / 14:
Policing the Aufbau / 15:
Finitude and infinitude in the atomic calculus of individuals (with Wilfrid Hodges) / 16:
Nominalistic set theory / 17:
Mathematics is megethology / 18:
Index
Introduction
Adverbs of quantification / 1:
Index, context, and content / 2:
36.
図書
D. L. Johnson
目次情報:
続きを見る
Introduction
Numbers
Logic
Sets
Relations
Mappings
Cardinal Numbers
Solutions to Selected Excercises
Guide to Literature
Index
Dramatis Personae
Introduction
Numbers
Logic
37.
図書
Paul C. Rosenbloom
38.
図書
[by] A. C. Leisenring
39.
図書
Neil Immerman
40.
図書
[by] John W. Kenelly
41.
図書
Bernhard Ganter, Rudolf Wille ; [translated from the German by Cornelia Franzke]
出版情報:
Beelin ; New York : Springer, c1999 x, 284 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
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:
42.
図書
Zofia Adamowicz, Paweł Zbierski
目次情報:
続きを見る
Partial table of contents
Mathematical Structures And Their Theories
Relational Systems
Boolean Algebras
Terms and Formulas
Substitution of Terms
Theorems and Proofs
Generalization Rule and Elimination of Constants
Peano Arithmetic
Ultraproducts
Supplementary Questions
Selected Topics
Total Functions
Incompleteness of Arithmetic
Tarski's Theorem
Matiyasevich's Theorem
Guide to Further Reading
References
Index
Partial table of contents
Mathematical Structures And Their Theories
Relational Systems
43.
図書
Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (eds.)
44.
図書
by Alonzo Church
45.
図書
edited by Johan van Benthem, Alice ter Meulen
出版情報:
Amsterdam ; Tokyo : Elsevier , Cambridge, Mass. : MIT Press, 1997 xxiii, 1247 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Preface
Abbreviations of Journal Titles
List of Contributors
Frameworks / Part 1:
Introduction
Montague Grammar / B.H. Partee ; H.L.W. Hendriks
Categorial type logics / M. Moortgat
Representing discourse in context / J. van Eijck ; H. Kamp
Situation theory / J. Seligman ; L.S. Moss
GB theory: an introduction / J. Higginbotham
Game-theoretical semantics / J. Hintikka ; G. Sandu
General Topics / Part 2:
Compositionality / T.M.V. Janssen with an appendix
Feature logics / W.C. Rounds. Types ; R. Turner
Dynamics / R. Muskens et al.
Partiality / J.E. Fenstad
Mathematical linguistics and proof theory / W. Buszkowski
Formal learning theory / D. Osherson et al.
Nonmonotonicity in linguistics / R.H. Thomason
Descriptive Topics / Part 3:
Generalized quantifiers in linguistics and logic / E.L. Keenan ; D. Westerstahl
Temporality / M. Steedman
Presupposition / D.I. Beaver
Plurals and collectivity / J.T. Lonning
Questions / J. Groenendijk ; M. Stokhof
Generics and defaults / F.J. Pelletier ; N. Asher
Glossary
Author Index
Subject Index
Preface
Abbreviations of Journal Titles
List of Contributors
46.
図書
Jean H. Gallier
出版情報:
Ann Arbor, Mich. : University Microfilms International, 1994 xv, 511 p. ; 23 cm
子書誌情報:
loading…
所蔵情報:
loading…
47.
図書
Daniel J. Velleman
出版情報:
Cambridge [England] ; New York : Cambridge University Press, 1994 ix, 309 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Sentential logic / 1:
Quantificational logic / 2:
Proofs / 3:
Relations / 4:
Functions / 5:
Mathematical induction / 6:
Infinite sets / 7:
Sentential logic / 1:
Quantificational logic / 2:
Proofs / 3:
48.
図書
Dirk van Dalen
出版情報:
Berlin ; New York : Springer-Verlag, c1994 viii, 215 p. ; 24 cm
シリーズ名:
Universitext
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction / 0:
Propositional Logic / 1:
Propositions and Connectives / 1.1:
Semantics / 1.2:
Some Properties of Propositional logic / 1.3:
Natural Deduction / 1.4:
Completeness / 1.5:
The Missing Connectives / 1.6:
Predicate Logic / 2:
Quantifiers / 2.1:
Structures / 2.2:
The Language of a Similarity Type / 2.3:
Simple Properties of Predicate Logic / 2.4:
Identity / 2.6:
Examples / 2.7:
Adding the Existential Quantifier / 2.8:
Natural Deduction and Identity / 2.10:
Completeness and Applications / 3:
The Completeness Theorem / 3.1:
Compactness and Skolem-Lowenheim / 3.2:
Some Model Theory / 3.3:
Skolem Functions or How to Enrich Your Language / 3.4:
Second Order Logic / 4:
Intuitionistic Logic / 5:
Constructive Reasoning / 5.1:
Intuitionistic Propositional and Predicate Logic / 5.2:
Kripke Semantics / 5.3:
Normalisation / 5.4:
Cuts / 6.1:
Normalization for Classical Logic / 6.2:
Normalization for Intuitionistic Logic / 6.3:
Godel's theorem / 7:
Primitive recursive functions / 7.1:
Partial Recursive Functions / 7.2:
Recursively enumerable sets / 7.3:
Some arithmetic / 7.4:
Representability / 7.5:
Derivability / 7.6:
Incompleteness / 7.7:
Bibliography
Index
Introduction / 0:
Propositional Logic / 1:
Propositions and Connectives / 1.1:
49.
図書
by Chris Mortensen
50.
図書
W. McCune, R. Padmanabhan