✦ LIBER ✦

Relationship between formal language of mathematical theories and axiomatic systems of the theory of sets

✍ Scribed by K. P. Vershinin

Publisher: Springer US
Year: 1975
Tongue: English
Weight: 668 KB
Volume: 9
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01068586

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Foundations for the formalization of met

Foundations for the formalization of metamathematics and axiomatizations of consequence theories

✍ Urszula Wybraniec-Skardowska 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 310 KB

Mathematics as logical syntax — a method

Mathematics as logical syntax — a method to formalize the language of a physical theory

✍ Martin Strauss 📂 Article 📅 1937-1938 🏛 Springer 🌐 English ⚖ 381 KB

Ernst Zermelo, A. E. Harward, and the ax

Ernst Zermelo, A. E. Harward, and the axiomatization of set theory

✍ Gregory H Moore 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 271 KB

Consistent and complementary formal theo

Consistent and complementary formal theories of the semantics of programming languages

✍ C. A. R. Hoare; P. E. Lauer 📂 Article 📅 1974 🏛 Springer-Verlag 🌐 English ⚖ 907 KB

Relationship between psychological theor

Relationship between psychological theories and the act of teaching

✍ Siegfried Engelmann 📂 Article 📅 1967 🏛 Elsevier Science 🌐 English ⚖ 463 KB

Mathematical relationship between the co

Mathematical relationship between the colour vision systems of trichromats and dichromats

✍ P.J. Bouma 📂 Article 📅 1942 🏛 Elsevier Science ⚖ 505 KB

In § 1 and § 2 the experimental laws governing the colour vision of trichromats and dichromats are briefly discussed and the eye is compared to a system of three or two photo-cells. In § 3 starting from the G r a s sin a n n laws and the fact that a colour match made by a trichromat is also admitted