✦ LIBER ✦

Do Mathematical Constructions Escape Logic?

✍ Scribed by Jean Louis Gardies

Book ID: 110415583
Publisher: Springer Netherlands
Year: 2003
Tongue: English
Weight: 117 KB
Volume: 134
Category: Article
ISSN: 0039-7857
DOI: 10.1023/a:1022148016910

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logic, Foundations of Mathematics, and C

Logic, Foundations of Mathematics, and Computability Theory || On a Semantical Language Hierarchy in a Constructive Mathematical Logic

✍ Butts, Robert E.; Hintikka, Jaakko 📂 Article 📅 1977 🏛 Springer Netherlands ⚖ 705 KB

Logic, Foundations of Mathematics, and C

Logic, Foundations of Mathematics, and Computability Theory || Constructions ‘by Finite’

✍ Butts, Robert E.; Hintikka, Jaakko 📂 Article 📅 1977 🏛 Springer Netherlands ⚖ 612 KB

How Do Logical Inference Rules Help Cons

How Do Logical Inference Rules Help Construct Social Mental Models?

✍ Ulrich von Hecker 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 214 KB

Mutual Transformability of The Formulas

Mutual Transformability of The Formulas of The Basic Languages of Constructive Mathematical Logic

✍ F. W. Gorgy; A. H. Sahyoun 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 370 KB

Algebras, Projective Geometry, Mathemati

Algebras, Projective Geometry, Mathematical Logic, and Constructing the World: Intersections in the Philosophy of Mathematics of A. N. Whitehead

✍ I. Grattan-Guinness 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 218 KB

A. N. Whitehead (1861N. Whitehead ( -1947) ) contributed notably to the foundations of pure and applied mathematics, especially from the late 1890s to the mid 1920s. An algebraist by mathematical tendency, he surveyed several algebras in his book Universal Algebra (1898). Then in the 1900s he joined

[Studies in Logic and the Foundations of

[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science VI, Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science Volume 104 || Constructive Mathematics and Computer Programming

✍ , 📂 Article 📅 1982 🏛 Elsevier 🌐 English ⚖ 908 KB

Logic, Methodology and Philosophy of Science VI