✦ LIBER ✦

Logic in the 1930s: type theory and model theory

✍ Scribed by Schiemer, Georg; Reck, Erich H.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modal logic and model theory

✍ Giangiacomo Gerla; Virginia Vaccaro 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 880 KB

Asymptotic Densities in Logic and Type T

✍ Zofia Kostrzycka; Marek Zaionc 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 286 KB

Representing model theory in a type-theo

✍ Fulya Horozal; Florian Rabe 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 407 KB

Model Theory for Intuitionistic Logic

✍ Dov M. Gabbay 📂 Article 📅 1972 🏛 John Wiley and Sons 🌐 English ⚖ 331 KB

Hidden models and logical structures in

✍ F. Thieffine 📂 Article 📅 1978 🏛 Springer-Verlag,Italian Physical Society ⚖ 967 KB

Uniting model theory and the universalis

✍ Loeb, Iris 📂 Article 📅 2014 🏛 Springer Netherlands 🌐 English ⚖ 257 KB