𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Subsets of models of arithmetic

✍ Scribed by Roman Kossak; Jeffrey B. Paris

Book ID
105140259
Publisher
Springer
Year
1992
Tongue
English
Weight
511 KB
Volume
32
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Partitioning Subsets of Stable Models
Partitioning Subsets of Stable Models
✍ Timothy Bays πŸ“‚ Article πŸ“… 2001 πŸ› Association for Symbolic Logic 🌐 English βš– 253 KB
On LP-Models of Arithmetic
On LP-Models of Arithmetic
✍ J. B. Paris and A. Sirokofskich πŸ“‚ Article πŸ“… 2008 πŸ› Association for Symbolic Logic 🌐 English βš– 978 KB
On LP-models of arithmetic
On LP-models of arithmetic
✍ Paris, J. B.; Sirokofskich, A. πŸ“‚ Article πŸ“… 2008 πŸ› Association for Symbolic Logic 🌐 English βš– 159 KB