Defaults as restrictions on classical Hilbert-style proofs
Gianni Amati, Luigia Carlucci Aiello, Fiora PirriVolume:
3
Year:
1994-1995
Language:
english
Pages:
24
DOI:
10.1007/bf01160020
File:
PDF, 1.51 MB
english, 1994-1995