[Lecture Notes in Computer Science] Logic, Language, and Computation Volume 8984 || Kripke Models Built from Models of Arithmetic
Aher, Martin, Hole, Daniel, Jeřábek, Emil, Kupke, ClemensVolume:
10.1007/97
Year:
2015
Language:
english
DOI:
10.1007/978-3-662-46906-4_10
File:
PDF, 304 KB
english, 2015