[Trends in Logic] Advances in Natural Deduction Volume 39 || An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited
Pereira, Luiz Carlos, Haeusler, Edward Hermann, de Paiva, ValeriaVolume:
10.1007/97
Year:
2014
Language:
english
DOI:
10.1007/978-94-007-7548-0_12
File:
PDF, 151 KB
english, 2014