Projective Beth Property in Extensions of Grzegorczyk Logic

Autor: Maksimova, Larisa
Zdroj: Studia Logica: An International Journal for Symbolic Logic, 2006 Jun 01. 83(1/3), 365-391.
Databáze: JSTOR Journals