Search
Feedback
About
Help
News
| Listing 1 - 8 of 8 |
Sort by
|
ISBN: 3525251653 9783525251652 Year: 1982 Volume: Heft 69 Publisher: Göttingen Vandenhoeck und Ruprecht
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Boethius, --- Syllogism --- Argumentation --- Logic --- Reasoning --- Logic, Symbolic and mathematical
ISBN: 9780444864659 0444864652 9780080960340 0080960340 1299773567 Year: 1982 Volume: 108 Publisher: Amsterdam, Netherlands : North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic Colloquium '80
Mathematical logic --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logique mathématique
Book
ISBN: 0471866458 9780471866459 Year: 1982 Publisher: New York (N.Y.): Wiley
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Proof theory --- Logic, symbolic and mathematical --- 510.21 --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- General philosophical considerations. Critical aspects. Logical antinomies --- Logic, Symbolic and mathematical. --- Proof theory. --- 510.21 General philosophical considerations. Critical aspects. Logical antinomies
ISBN: 9027710848 9789027710840 Year: 1982 Publisher: Dordrecht: Reidel,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Logic, symbolic and mathematical --- Set theory --- Logic, Symbolic and mathematical. --- Set theory. --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Syllogism
Book
ISBN: 1139881604 1107365961 1107370698 1107361052 0511959451 1299403778 1107363500 0511892047 0511629192 9781107361058 9780511892042 0521280404 9780521280402 0521280480 9780511629198 0521280400 Year: 1982 Volume: 47 Publisher: Cambridge : Cambridge University Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Axiomatic set theory is the concern of this book. More particularly, the authors prove results about the coding of models M, of Zermelo-Fraenkel set theory together with the Generalized Continuum Hypothesis by using a class 'forcing' construction. By this method they extend M to another model L[a] with the same properties. L[a] is Gödels universe of 'constructible' sets L, together with a set of integers a which code all the cardinality and cofinality structure of M. Some applications are also considered. Graduate students and research workers in set theory and logic will be especially interested by this account.
Axiomatic set theory. --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Axioms --- Logic, Symbolic and mathematical --- Axiomatic set theory --- Théorie axiomatique des ensembles --- Logique symbolique et mathématique --- 510.2 --- 510.2 Foundations of mathematics --- Foundations of mathematics
ISBN: 9780444854230 0444854231 1299773494 0080960308 9780080960302 Year: 1982 Volume: 104 Publisher: Amsterdam, Netherlands : Warsaw, Poland : North-Holland Publishing ; PWN--Polish Scientific Publishers,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, Methodology and Philosophy of Science VI
Logic, Symbolic and mathematical --- Methodology --- Science --- Logique symbolique et mathématique --- Méthodologie --- Sciences --- Congresses. --- Philosophy --- Congrès --- Philosophie --- Logic, symbolic and mathematical --- Congresses --- Logique mathématique --- Philosophie des sciences --- -Methodology --- -Science --- -Natural science --- Science of science --- Research --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- -Congresses --- Natural science --- Philosophy&delete& --- Philosophie des sciences. --- Méthodologie. --- Natural sciences --- Humanities Methodology --- Logic, Symbolic and mathematical - Congresses --- Methodology - Congresses --- Science - Philosophy - Congresses
Book
ISBN: 0198531834 9780198531838 Year: 1982 Publisher: Oxford Clarendon
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logicians --- Logic, symbolic and mathematical --- Correspondence --- Boole, George, --- De Morgan, Augustus, --- -Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Philosophers --- Boole, George --- De Morgan, Augustus --- Logic, Symbolic and mathematical --- Morgan, Augustus de, --- Ti-mo-kan, --- Pu-erh, --- Bu er, --- Logicians - Correspondence --- Boole, George, - 1815-1864 --- De Morgan, Augustus, - 1806-1871
Book
ISBN: 3764330341 Year: 1982 Publisher: Boston Birkhäuser
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Logic, Symbolic and mathematical --- Set theory --- Infinite --- Logique symbolique et mathématique --- Théorie des ensembles --- Infini --- 510.22 --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Mathematics --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Syllogism --- Infinity --- Finite, The --- Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- 510.22 Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Logique symbolique et mathématique --- Théorie des ensembles
| Listing 1 - 8 of 8 |
Sort by
|