1976
Semantics of the infinistic rules of proof
Publication
Publication
Journal of Symbolic Logic , Volume 41 p. 121- 138
Additional Metadata | |
---|---|
Association for Symbolic Logic | |
Journal of Symbolic Logic | |
Apt, K. (1976). Semantics of the infinistic rules of proof. Journal of Symbolic Logic, 41, 121–138. |