✦ LIBER ✦

A realizability interpretation for classical analysis

✍ Scribed by Henry Towsner

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Realizability interpretation of proofs i

✍ Helmut Schwichtenberg 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 420 KB

A Partial Analysis of Modified Realizabi

✍ Jaap van Oosten 📂 Article 📅 2004 🏛 Association for Symbolic Logic 🌐 English ⚖ 731 KB

A classical realization of quantum mecha

✍ Mark Davidson 📂 Article 📅 1978 🏛 Springer US 🌐 English ⚖ 624 KB

Extensional Godel Functional Interpretat

✍ Horst Luckhardt 📂 Library 📅 1973 🏛 Springer 🌐 English ⚖ 1 MB

A classical interpretation of the bag mo

✍ A. Aurilia; D. Christodoulou; F. Legovini 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 240 KB

Realization of artificial intelligence f

✍ M. Nakamura; T. Sugi; A. Ikeda; H. Shibasaki 📂 Article 📅 1998 🏛 Springer Japan 🌐 English ⚖ 397 KB