✦ LIBER ✦

A simplified formalization of predicate logic with identity

✍ Scribed by Tarski, Alfred

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Substitutionless predicate logic with id

✍ Monk, Donald 📂 Article 📅 1965 🏛 Springer-Verlag ⚖ 924 KB

On a certain formalization of antonyms l

✍ Ya.Ya. Golota 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 335 KB

A non-compactness phenomenon in logics w

✍ Cinzia Bonotto; Alberto Zanardo 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 846 KB

Semantic Tableaux for A Logic With Ident

✍ Ermanno Bencivenga 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 501 KB

A treatise of formal logic

✍ E. Kaila 📂 Article 📅 1931 🏛 Springer 🌐 English ⚖ 150 KB

A formalization of the propositional cal

✍ Cecylia Rauszer 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 427 KB