✦ LIBER ✦

REDUCTION OF AXIOM SYSTEMS WITH AXIOM SCHEMES TO SYSTEMS WITH ONLY SIMPLE AXIOMS

✍ Scribed by Th. Skolem

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reduction of Axiom Systems with Axiom Sc

✍ Review by: G. Hasenjaeger 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 90 KB

Sets derived by deterministic systems wi

✍ Charles E. Hughes 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 581 KB

A simple system of axioms for spaces of

✍ Murray Marshall 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 415 KB

Dealing with Zero-Time Transitions in Ax

✍ Angelo Gargantini; Dino Mandrioli; Angelo Morzenti 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 223 KB

A complete axiom system for rational set

✍ Masato Morisaki; Ko Sakai 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 966 KB

On the Addition of Weakened L-Reduction

✍ Michael Byrd 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 283 KB