Media type: E-Article Title: Gene F. Rose. Propositional calculus and realizability. Transactions of the American Mathematical Society, vol. 75 (1953), pp. 1–19 Contributor: Nelson, David Published: Cambridge University Press (CUP), 1954 Published in: Journal of Symbolic Logic, 19 (1954) 2, Seite 126-126 Language: English DOI: 10.2307/2268876 ISSN: 0022-4812; 1943-5886 Keywords: Logic ; Philosophy Origination: Footnote: