Bounds for Hodes - Specker theorem

Logic and Machines: Decision Problems and Complexity - Lecture Notes in Computer Science ◽

10.1007/3-540-13331-3_57 ◽

1984 ◽

pp. 421-445 ◽

Cited By ~ 5

Author(s):

Pavel Pudlák

Download Full-text