Wyniki
-
First-order anti-intuitionistic logic with apartness
Andreas B.M. Brunner
Logic and Logical Philosophy 13 (2004) s. 77-88
Andreas B.M. Brunner
Logic and Logical Philosophy
13
(2004)
s. 77-88