A Constructive Valuation Semantics for Classical Logic
Barbanera, Franco, Berardi, StefanoVolume:
37
Year:
1996
Language:
english
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1305/ndjfl/1039886522
File:
PDF, 121 KB
english, 1996