✦ LIBER ✦

Truth of a proposition, evidence of a judgement, validity of a proof

✍ Scribed by Per Martin-Löf

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A stipulation of logical truth in a moda

✍ Charles E. Caton 📂 Article 📅 1962 🏛 Springer Netherlands 🌐 English ⚖ 204 KB

A proof of completeness of the two-value

✍ W. Sadowski 📂 Article 📅 1961 🏛 Springer Netherlands 🌐 English ⚖ 36 KB

A POSSIBLE PROPOSITION OF WORK IN ANALYT

✍ Roberto Aruga 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 41 KB 👁 1 views

Proof of structural completeness of a ce

✍ Tadeusz Prucnal 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 153 KB

A method of describing the truth-functio

✍ A. A. Zinovjev 📂 Article 📅 1961 🏛 Springer Netherlands 🌐 English ⚖ 24 KB

Existence, proof and truth-making: A per

✍ Göran Sundholm 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 939 KB