𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Predicate calculus and naive set theory in pure combinatory logic

✍ Scribed by Bunder, M. W.


Publisher
Springer-Verlag
Year
1981
Weight
394 KB
Volume
21
Category
Article
ISSN
0003-9268

No coin nor oath required. For personal study only.