PP-2016-26: Hajnal Andréka, Johan van Benthem, István Németi On a New Semantics for First-Order Predicate Logic 1.Full Text, 2.Abstract. < Back
