[Lecture Notes in Computer Science] Logic, Language, and Computation Volume 8984 ||
Aher, Martin, Hole, Daniel, Jeřábek, Emil, Kupke, ClemensVolume:
10.1007/97
Year:
2015
Language:
english
DOI:
10.1007/978-3-662-46906-4
File:
PDF, 18.53 MB
english, 2015