Return to Article Details
A simple Henkin-style completeness proof for Gödel 3-valued logic G3
Download
Download PDF