✦ LIBER ✦

Arithmetization of Metamathematics in a General Settingby S. Feferman

✍ Scribed by Review by: Steven Orey

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Representability of Recursively Enumerab

✍ Review by: R. A. DiPaola 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 201 KB

Incompleteness along Paths in Progressio

✍ Review by: R. A. DiPaola 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 234 KB

Newton's Method in Floating Point Arithm

✍ Tisseur, Françoise 📂 Article 📅 2001 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 219 KB

The Arithmetic Genus of a V3 in S4

✍ Todd, J. A. 📂 Article 📅 1934 🏛 Oxford University Press 🌐 English ⚖ 125 KB

Arithmetical Identities in a 2-element M

✍ Gurgen Asatryan 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 136 KB 👁 1 views

Personal Wealth Taxation: Canadian Tax P

✍ Review by: David G. Duff 📂 Article 📅 1995 🏛 University of Toronto Press 🌐 English ⚖ 563 KB