On the intuitionistic theory of deduction
Łukasiewicz, JanVolume:
55
Year:
1952
Language:
english
Journal:
Indagationes Mathematicae (Proceedings)
DOI:
10.1016/S1385-7258(52)50028-3
File:
PDF, 1.71 MB
english, 1952