Axiomatization of a Denotational Semantics for First-order Logic.

Autor: Vermeulen, C. F. M.1 k.vermeulen@auckland.ac.nz
Zdroj: Logic Journal of the IGPL. Jul2004, Vol. 12 Issue 4, p277-299. 23p.
Databáze: Business Source Ultimate
Externí odkaz: