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.
図書
von Rudolf Carnap
出版情報:
Wien : Springer-Verlag, 1968 xi, 274 p. ; 21 cm
子書誌情報:
loading…
所蔵情報:
loading…
7.
図書
Paul J. Cohen
8.
図書
Donald W. Barnes, John M. Mack
9.
図書
Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker
10.
図書
G. Spencer Brown
出版情報:
London : Allen & Unwin, 1969 xx, 142 p. ; 23 cm
子書誌情報:
loading…
所蔵情報:
loading…
11.
図書
David W. Etherington
12.
図書
David Harel
13.
図書
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:
14.
図書
by Arthur Prior
出版情報:
Oxford ; Tokyo : Clarendon Press, c1967 x, 217 p. ; 23 cm
子書誌情報:
loading…
所蔵情報:
loading…
15.
図書
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
16.
図書
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
17.
図書
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$
18.
図書
Evert Willem Beth
出版情報:
Dordrecht, Holland : D. Reidel Publishing Co., 1962 xiv, 170 p. ; 23 cm
シリーズ名:
Synthese library
子書誌情報:
loading…
所蔵情報:
loading…
19.
図書
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…
20.
図書
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
21.
図書
Chin-Liang Chang, Richard Char-Tung Lee
22.
図書
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:
23.
図書
Karl Menger
24.
図書
Frank S. Beckman
25.
図書
Jerome Malitz
26.
図書
Daniel E. Cohen
27.
図書
Ludwig Wittgenstein ; herausgegeben von Rush Rhees
出版情報:
Oxford : B. Blackwell, c1969 490 p. ; 23 cm
子書誌情報:
loading…
所蔵情報:
loading…
28.
図書
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:
29.
図書
by Václav Pinkava
出版情報:
Cambridge, Mass. : Abacus Press, 1988 132 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
30.
図書
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…
31.
図書
edited by L. Borkowski ; [translated from the Polish by O. Wojtasiewicz]
32.
図書
A.I. Malʹcev ; translated from the Russian by B.D. Seckler and A.P. Doohovskoy
33.
図書
Paul J. Cohen
出版情報:
New York ; Amsterdam : W.A. Benjamin, 1966 154 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
34.
図書
Gerald E. Sacks
35.
図書
Е. Слупецкий, Л. Борковский ; перевод с польского О.Ф. Серебрянникова, И.Н. Коваленко
出版情報:
Москва : Изд-во "Прогресс", 1965 367 p. ; 21 cm
子書誌情報:
loading…
所蔵情報:
loading…
36.
図書
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
37.
図書
by M.E. Munroe
38.
図書
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:
39.
図書
D. L. Johnson
目次情報:
続きを見る
Introduction
Numbers
Logic
Sets
Relations
Mappings
Cardinal Numbers
Solutions to Selected Excercises
Guide to Literature
Index
Dramatis Personae
Introduction
Numbers
Logic
40.
図書
Paul C. Rosenbloom
41.
図書
[by] A. C. Leisenring
42.
図書
Neil Immerman
43.
図書
[by] John W. Kenelly
44.
図書
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:
45.
図書
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
46.
図書
Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (eds.)
47.
図書
by Alonzo Church
48.
図書
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
49.
図書
Jean H. Gallier
出版情報:
Ann Arbor, Mich. : University Microfilms International, 1994 xv, 511 p. ; 23 cm
子書誌情報:
loading…
所蔵情報:
loading…
50.
図書
G. Kreisel, J. L. Krivine
51.
図書
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:
52.
図書
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:
53.
図書
by Chris Mortensen
54.
図書
W. McCune, R. Padmanabhan
55.
図書
Jean Florine ; translated and edited by Allan R. Cownie and Evelyn M. Hynes
56.
図書
Donald Kalish, Richard Montague
出版情報:
New York : Harcourt, Brace & World, c1964 x, 350 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
57.
図書
Abraham Robinson
目次情報:
続きを見る
General Introduction
Tools from Logic Differential and Integral Calculus
General Topology
Functions of a Real Variable
Functions of a Complex Variable
Linear Spaces
Topological Groups and Lie Groups
Selected Topics
Concerning the History of the Calculus
General Introduction
Tools from Logic Differential and Integral Calculus
General Topology
58.
図書
edited by Howard Barringer ... [et al.]
59.
図書
Carol Schumacher
目次情報:
続きを見る
Introduction--an Essay
Mathematical Reasoning
Deciding What to Assume
What Is Needed to Do Mathematics? Chapter Zero
Logic
Statements and Predicates
Mathematical Implication
Direct Proofs
Compound Statements and Truth Tables
Equivalence
Proof by Contrapositive
Negating Statements
Proof by Contradiction
Existence and Uniqueness
Proving Theorems: What Now? Sets
Sets and Set Notation
Set Operations
Russell's Paradox
Relations and Ordering
Relations
Orderings
Equivalence Relations
Functions
Basic Ideas
Composition and Inverses
Order Isomorphisms
Sequences
Binary Operations
Induction
Inductive Reasoning and Mathematical Induction
Using Induction
Complete Induction
Elementary Number Theory
Natural Numbers and Integers
Divisibility in the Integers
The Euclidean Algorithm
Relatively Prime Integers
Prime Factorization
Congruence Modulo n
Divisibility Modulo n
Cardinality
Galileo's Paradox
Infinite Sets
Countable Sets
Beyond Countability
Comparing Cardinalities
The Continuum Hypothesis
Order Isomorphisms (Revisited)
The Real Numbers
Constructing the Axioms
Arithmetic
Order
The Least Upper Bound Axiom
Sequence Convergence in R
Axiomatic Set Theory
Elementary Axioms
The Axiom of Infinity
Axioms of Choice and Substitution
Constructing R
From N to Integers
From Integers to Rationals
From Rationals to R
Index
Introduction--an Essay
Mathematical Reasoning
Deciding What to Assume
60.
図書
Robert L. Causey
目次情報:
続きを見る
Preface
Introduction
The Subject Matter / 1:
Goals and Organization / 2:
Assumed Background Knowledge / 3:
The Presentation / 4:
Sentential Calculus / Chapter 1.:
Syntax of the Sentential Calculus / 1.1:
Correspondence to Natural Languages / 1.2:
Semantics of the Sentential Calculus / 1.3:
Some Metatheoretical Concepts / 1.4:
Principles for Sentential Calculus Derivations / 1.5:
Adequacy and Use of Sentential Calculus Derivation Rules / 1.6:
Soundness and Completeness / 1.6.1:
Strategies for Constructing Proofs / 1.6.2:
Sentential Calculus Derivation Examples / 1.6.3:
Conjunctive Normal Form and Resolution Proofs / 1.7:
Basic Set Theory / Chapter 2.:
Sets / 2.1:
Extensionality, Predicates, and Abstraction / 2.1.1:
Some Special Sets and Set Operations / 2.1.2:
Relations / 2.2:
General Features / 2.2.1:
Special Kinds of Relations / 2.2.2:
Functions / 2.3:
Basic Ideas / 2.3.1:
Compositions and Inverses / 2.3.2:
Relational Systems / 2.4:
Recursion and Mathematical Induction / Chapter 3.:
The Natural Number System / 3.1:
Peano's Axioms and the Induction Principle / 3.1.1:
Definition by Recursion / 3.1.3:
Basic Arithmetic / 3.2:
Some Simple Functions / 3.2.1:
Additional Arithmetical Definitions / 3.2.2:
Extensions of Recursive Definition and Induction / 3.3:
Some Additional Applications of the Recursion Theorem / 3.3.1:
The Well-Ordering of the Natural Numbers / 3.3.2:
Course of Values Induction / 3.3.3:
Two Arithmetical Algorithms / 3.3.4:
Pitfalls of Recursion / 3.3.5:
Non-Numerical Data / 3.4:
Strings / 3.4.1:
A Simple Treatment of Lists / 3.4.2:
Sentential Calculus Expressions / 3.4.3:
Stacks and Queues / 3.4.4:
Predicate Calculus / Chapter 4.:
Syntax of the Predicate Calculus / 4.1:
Semantical Aspects of the Predicate Calculus / 4.2:
Interpretations and Truth / 4.2.1:
Tautologous Sentences in Predicate Calculus / 4.2.2:
Tautological Consequences in Predicate Calculus / 4.2.3:
Predicate Calculus Derivations / 4.3:
Derivation Rules / 4.3.1:
Proof Strategies and Examples / 4.3.2:
Adequacy of the Predicate Calculus Rules / 4.3.3:
Application Example / 4.4:
Identity and Function Symbols / 4.5:
Extension of the Syntax / 4.5.1:
Semantics of Predicate Calculus with Identity and Function Symbols / 4.5.2:
Derivation Rules for Predicate Calculus with Identity and Function Symbols / 4.5.3:
Use of Identity in Representing Information / 4.5.4:
Formalized Theories / 4.6:
References
Answers to Selected Exercises
The Greek Alphabet / Chapter 1:
Glossary of Symbols
Index
Preface
Introduction
The Subject Matter / 1:
61.
図書
Elliott Mendelson
62.
図書
David S. Touretzky
63.
図書
Kurt Konolige
64.
図書
Zohar Manna, Richard Waldinger
65.
図書
Jean H. Gallier
66.
図書
Peter B. Andrews
67.
図書
Douglas R. Hofstadter
出版情報:
Harmondsworth : Penguin, 1980 xxi, 777 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
68.
図書
by Pavel Pták and Sylvia Pulmannová
69.
図書
edited by Jean van Heijenoort
出版情報:
Cambridge, Mass. : Harvard University Press, 1970 116 p. ; 26 cm
子書誌情報:
loading…
所蔵情報:
loading…
70.
図書
Ron Koymans
71.
図書
Craig Smoryński
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1991- v. ; 25 cm
シリーズ名:
Universitext
子書誌情報:
loading…
所蔵情報:
loading…
72.
図書
A. H. Lightstone
出版情報:
Englewood Cliffs, N.J. : Prentice-Hall, c1964 x, 246 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
73.
図書
Urszula Wybraniec-Skardowska
74.
図書
by Abraham A. Fraenkel
75.
図書
Zohar Manna, Amir Pnueli
出版情報:
New York ; Tokyo : Springer-Verlag, c1992- 2 v. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
76.
図書
H.-J. Bürckert
77.
図書
John P. Cleave
出版情報:
Oxford : Clarendon Press , New York : Oxford University Press, 1991 xiii, 417 p. ; 25 cm
シリーズ名:
Oxford logic guides ; 18
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
The Multiplicity of Logics / 1:
Classical Logic / 2:
Abstract Logics / 3:
Logical Operations / 4:
Order and Lattices / 5:
Constructing Logics / 6:
Quasi-Boolean Algebras and Empirical Continuity / 7:
Three-valued Logic / 8:
Relevance / 9:
The Calculus of Logics: Effective Logic / 10:
Modal Logics / 11:
The Multiplicity of Logics / 1:
Classical Logic / 2:
Abstract Logics / 3:
78.
図書
Stanisław Leśniewski ; edited by Stanisław J. Surma, Jan T. Srzednicki, and D.I. Barnett ; with an annotated bibliography by V. Frederick Rickey
79.
図書
Joseph R. Shoenfield
80.
図書
by Lewis Carroll
目次情報:
Symbolic logic
The game of logic
Symbolic logic
The game of logic
81.
図書
Charles S. Chihara
出版情報:
Oxford : Clarendon Press , New York : Oxford University Press, 1990 xv, 282 p. ; 23 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
constructibility And Mathematical Existence
Constructibility and Mathematical Existence
Preface
Acknowledgements
the Constructibility Theory / Part I:
The Problem of Existence in Mathematics / 1:
The Constructibility Quantifiers / 2:
Constructibility and Open-Sentences / 3:
The Deductive System / 4:
Cardinality and Number Theory / 5:
Measurable Quantities and Analysis / 6:
Philosophical Developments / Part II:
Mathematical Structuralism / 7:
Science Without Numbers / 8:
Why Burgess is a Moderate Realist / 9:
Maddy's Solution to the Problem of Reference / 10:
Kitcher's Ideal Agents / 11:
Deflationism and Mathematical Truth / 12:
Appendix Field's Nominalistic Logical Theory
Bibliography
Index
constructibility And Mathematical Existence
Constructibility and Mathematical Existence
Preface
82.
図書
Richard L. Epstein ; with the assistance and collaboration of Walter A. Carnielli ... [et al.]
83.
図書
J. Barkley Rosser
84.
図書
Fahiem Bacchus
85.
図書
Johan van Benthem
目次情報:
続きを見る
Introduction
Two Traditions
Lambda Calculus and Theory of Types
Categorial Grammar
A Logical Perspective
The Hierarchy of Implicational Logics
Proofs, Terms, and Meanings
Proof Theory
Exploring Categorial Deduction
Cut Elimination and Decidability
Recognizing Power
Model Theory
Enumerating Readings
Computing Denotational Constraints
Boolean Structure
Variations and Extensions
Intensionality
Variable Polymorphism and Higher Type Theories
Towards a Logic of Information
Language Families
Modal Logic of Information Patterns
Relational Algebra of Control
Dynamic Logic
A Tour of Basic Logic
Bibliography
Index
Introduction
Two Traditions
Lambda Calculus and Theory of Types
86.
図書
by C.I. Lewis
出版情報:
New York : Dover Publications, c1960 x, 327 p. ; 22 cm
子書誌情報:
loading…
所蔵情報:
loading…
87.
図書
Wang, Hao, 1921-
出版情報:
New York : Chelsea Pub. Co, [1970] x, 651 p ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
88.
図書
by Clarence Irving Lewis and Cooper Harold Langford
89.
図書
[by] Joel W. Robbin
90.
図書
Abram Aronovich Stolyar ; translation edited by Elliott Mendelson ; [translated by Scripta Technica, Inc.]
出版情報:
Cambridge, Mass. : MIT Press, c1970 vii, 209 p. ; 21 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Author's Preface
Introduction
Propositional Logic / I:
Objects and operations / 1:
Formulas / 2:
Equivalent formulas
Tautologies
Examples of the application of the laws of the logic of propositions in derivations / 3:
Normal forms of functions / 4:
Minimal forms
Application of the algebra of propositions to the synthesis and analysis of discrete-action networks / 5:
The Propositional Calculus / II:
The axiomatic method
The construction of formalized languages
Construction of a propositional calculus (alphabet, formulas, derived formulas)
Consistency, independence, and completeness of a system of axioms in the propositional calculus
Predicate Logic / III:
Sets
Operations on sets
The inadequacy of propositional logic
Predicates
Operations on predicates
Quantifiers
Formulas of predicate logic
Universally valid formulas
Traditional logic (the logic of one-place predicates)
Predicate logic with equality / 6:
Axiomatic construction of mathematical theories in the language of predicate logic with equality
A proof of the duality principle for propositional logic / Appendix I:
A proof of the deduction theorem for the propositional calculus / Appendix II:
A proof of he completeness theorem for the propositional calculus / Appendix III:
Bibliography
Index of Special Symbols
Index
Author's Preface
Introduction
Propositional Logic / I:
91.
図書
Elliott Mendelson
92.
図書
by Hans Freudenthal
出版情報:
Amsterdam ; New York : Elsevier, 1966 105 p. ; 23 cm
子書誌情報:
loading…
所蔵情報:
loading…
93.
図書
Daniel Ponasse
94.
図書
by John Venn
出版情報:
Bronx, N.Y. : Chelsea, 1971 xxxviii, 540 p. ; 21 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Preface
Preface to the Second Edition
Introduction
On the Forms of Logical Proposition / Chapter I:
Symbols of Classes and of Operations / Chapter II:
Symbols of Operations (continued) / Chapter III:
On the Choice of Symbolic Language / Chapter IV:
Diagrammatic Representation / Chapter V:
On the Import of Propositions, as Regards the Actual or Conventional Existence of Their Subjects and Predicates / Chapter VI:
Symbolic Expression of Ordinary Propositions / Chapter VII:
Hypotheticals / Chapter VIII:
The Universe of Discourse
On Development or Expansion / Chapter X:
Logical Statements or Equations (continued) / Chapter XII:
Miscellaneous Examples / Chapter XIII:
Elimination / Chapter XIV:
The Expressions F(1) and F(0) / Chapter XV:
Completion of the Logical Problem. the Syllogism / Chapter XVI:
Generalizations of the Common Logic / Chapter XVII:
Glass Symbols as Denoting Propositions / Chapter XVIII:
Intensive Interpretation / Chapter XIX:
Historic Notes / Chapter XX:
Index
Index of Bibliographical References
Preface
Preface to the Second Edition
Introduction
95.
図書
[by] Lincoln K. Durst
96.
図書
A.G. Hamilton
出版情報:
Cambridge [Eng.] ; New York : Cambridge University Press, 1978 viii, 224 p. ; 23 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Preface
Informal statement calculus / 1:
Statements and connectives / 1.1:
Truth functions and truth tables / 1.2:
Rules for manipulation and substitution / 1.3:
Normal forms / 1.4:
Adequate sets of connectives / 1.5:
Arguments and validity / 1.6:
Formal statement calculus / 2:
The formal system L / 2.1:
The Adequacy Theorem for L / 2.2:
Informal predicate calculus / 3:
Predicates and quantifiers / 3.1:
First order languages / 3.2:
Interpretations / 3.3:
Satisfaction, truth / 3.4:
Skolemisation / 3.5:
Formal predicate calculus / 4:
The formal system K[subscript se] / 4.1:
Equivalence, substitution / 4.2:
Prenex form / 4.3:
The Adequacy Theorem for K / 4.4:
Models / 4.5:
Mathematical systems / 5:
Introduction / 5.1:
First order systems with equality / 5.2:
The theory of groups / 5.3:
First order arithmetic / 5.4:
Formal set theory / 5.5:
Consistency and models / 5.6:
The Godel Incompleteness Theorem / 6:
Expressibility / 6.1:
Recursive functions and relations / 6.3:
Godel numbers / 6.4:
The incompleteness proof / 6.5:
Computability, unsolvability, undecidability / 7:
Algorithms and computability / 7.1:
Turing machines / 7.2:
Word problems / 7.3:
Undecidability of formal systems / 7.4:
Countable and uncountable sets / Appendix:
Hints and solutions to selected exercises
References and further reading
Glossary of symbols
Index
Preface
Informal statement calculus / 1:
Statements and connectives / 1.1:
97.
図書
Ludwig Wittgenstein ; aus dem Nachlaß herausgegeben von Rush Rhees
出版情報:
Oxford : Basil Blackwell, 1964 347 p. ; 23 cm
子書誌情報:
loading…
所蔵情報:
loading…
98.
図書
by N.I. Felʹdman ... [et al.]
99.
図書
von Kurt Schütte
100.
図書
Zohar Manna, Richard Waldinger