Defaults as restrictions on classical Hilbert-style proofs (1995)

Cached

Download Links

by Gianni Amati , Luigia Carlucci Aiello , Fiora Pirri
Venue:Journal of Logic Language and Information
Citations:4 - 3 self