A modal sequent calculus for a fragment of arithmetic
G. Sambin, S. ValentiniVolume:
39
Year:
1980
Language:
english
Pages:
12
Journal:
Studia Logica
DOI:
10.1007/bf00370323
File:
PDF, 657 KB
english, 1980