Conjunction without conditions in illative combinatory logic

Bulletin of the Section of Logic, Tom 13, Numer 4 (1984) s. 207-213
Martin W. Bunder

 

do góry