Axiomatic Extensions of IMT3 Logic

Autor: Gispert, Joan, Torrens, Antoni
Zdroj: Studia Logica: An International Journal for Symbolic Logic, 2005 Dec 01. 81(3), 311-324.
Databáze: JSTOR Journals