Publication:4812323
From MaRDI portal
zbMath1046.03009MaRDI QIDQ4812323
George Tourlakis, Francisco Kibedi
Publication date: 7 September 2004
Related Items
An Arithmetically Complete Predicate Modal Logic, On the proof-theory of two formalisations of modal first-order logic, A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs