Ronald Harrop

1974
4		Anne C. Morel, Ronald Harrop, Miriam Lucian, David Pincus: Meeting of the Association for Symbolic Logic Seattle 1973. J. Symb. Log. 39(1): 195-208 (1974)
1965
3		Ronald Harrop: Some Structure Results for Propositional Calculi. J. Symb. Log. 30(3): 271-292 (1965)
1960
2		Ronald Harrop: Concerning Formulas of the Types A -->B V C, A --< (Ex)B(x). J. Symb. Log. 25(1): 27-32 (1960)
1957
1		N. J. Fine, Ronald Harrop: Uniformization of Linear Arrays. J. Symb. Log. 22(2): 130-140 (1957)

Coauthor Index

1	N. J. Fine	[1]
2	Miriam Lucian	[4]
3	Anne C. Morel	[4]
4	David Pincus	[4]

Colors in the list of coauthors