Defaults as Restrictions on Classical Hilbert-Style Proofs
Gianni Amati, Luigia Carlucci Aiello and Fiora PirriVolume:
3
Year:
1995
Language:
english
Journal:
Journal of Logic, Language, and Information
DOI:
10.2307/40180054
File:
PDF, 2.46 MB
english, 1995