Proof Search in Constructive Logics (1998)

Cached

Download Links

by Roy Dyckhoff , Luís Pinto
Venue:In Sets and proofs
Citations:7 - 2 self