✦ LIBER ✦

On the Concept of Categoricityby Andrzej Grzegorczyk;A Kind of Categoricityby A. Grzegorczyk

✍ Scribed by Review by: Günter Asser

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Philosophically Plausible Formal Inter

✍ Review by: C. G. McKay 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 221 KB

An Essay at Founding the Semantics of a

✍ Review by: Jan Kalicki 📂 Article 📅 1950 🏛 Association for Symbolic Logic 🌐 English ⚖ 316 KB

The Systems of Leśniewski in Relation to

✍ Review by: A. N. Prior 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 142 KB

A machine description and the hierarchy

✍ A. P. Bel'tyukov 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 641 KB

Ordinal Recursion, and a Refinement of t

✍ S. S. Wainer 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 667 KB

A simple syntactic definition of all cla

✍ S. V. Pakhomov 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 296 KB