Undecidability of first-order intuitionistic and modal logics with two variables (2005)

Cached

Download Links

by Roman Kontchakov , Agi Kurucz , Michael Zakharyaschev
Venue:BULLETIN OF SYMBOLIC LOGIC
Citations:5 - 3 self