
Natural 3-Valued Logics--Characterization and Proof Theory
Arnon AvronVolume:
56
Langue:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2274919
Date:
March, 1991
Fichier:
PDF, 414 KB
english, 1991