John Riser

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1967

1 John Riser: A Gentzen-Type Calculus of Sequents for Single-Operator Propositional Logic. J. Symb. Log. 32(1): 75-80 (1967)