The top documents tagged [illative combinatory logic]
Abstraction in Fitch's Basic Logic
28 views