From Löwenheim to PSL and SVA

Lecture Notes in Computer Science - Language, Culture, Computation. Computing - Theory and Technology ◽

10.1007/978-3-642-45321-2_5 ◽

2014 ◽

pp. 78-102 ◽

Cited By ~ 2

Author(s):

Moshe Y. Vardi

Download Full-text