"2-Sequent Calculus: Intuitionism and Natural Deduction."

Andrea Masini (1993)

Details and statistics

DOI: 10.1093/LOGCOM/3.5.533

access: closed

type: Journal Article

metadata version: 2017-05-17