DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations
Anita WasilewskaVolume:
43
Year:
1984
Language:
english
Pages:
10
Journal:
Studia Logica
DOI:
10.1007/bf00370509
File:
PDF, 554 KB
english, 1984