✦ LIBER ✦

Foundations for the formalization of metamathematics and axiomatizations of consequence theories

✍ Scribed by Urszula Wybraniec-Skardowska

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The axiomatic foundations of the theory

✍ Karl Stiegler 📂 Article 📅 1972 🏛 Springer 🌐 English ⚖ 799 KB

Relationship between formal language of

✍ K. P. Vershinin 📂 Article 📅 1975 🏛 Springer US 🌐 English ⚖ 668 KB

Erratum to: The axiomatic foundations of

✍ Karl Stiegler 📂 Article 📅 1972 🏛 Springer 🌐 English ⚖ 24 KB

The concept of force and the formalizati

✍ Nicholas Ionescu-Pallas; Liviu Sofonea 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 394 KB

Attempt of an axiomatic foundation of qu

✍ Peter Stolz 📂 Article 📅 1969 🏛 Springer 🌐 English ⚖ 733 KB

Attempt of an axiomatic foundation of qu

✍ Günther Ludwig 📂 Article 📅 1968 🏛 Springer 🌐 English ⚖ 786 KB