1972
Infinistic rules of proof and their semantics
Publication
Publication
Bulletin de l'Académie Polonaise des Sciences p. 879- 886
Additional Metadata | |
---|---|
P.A.N. | |
Bulletin de l'Académie Polonaise des Sciences | |
Apt, K. (1972). Infinistic rules of proof and their semantics. Bulletin de l'Académie Polonaise des Sciences, 879–886. |