The deduction theorem for Łukasiewicz many-valued propositional calculi
Witold A. PogorzelskiVolume:
15
Year:
1964
Language:
english
Pages:
13
Journal:
Studia Logica
DOI:
10.1007/bf02125899
File:
PDF, 580 KB
english, 1964