𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Reduction Class Containing Formulas with one Monadic Predicate and one Binary Function Symbol

✍ Scribed by Charles E. Hughes


Book ID
124972974
Publisher
Association for Symbolic Logic
Year
1976
Tongue
English
Weight
153 KB
Volume
41
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.