First-order anti-intuitionistic logic with apartness

Logic and Logical Philosophy, Tom 13 (2004) s. 77-88
Andreas B.M. Brunner

 

do góry