Search for persons
X
?
1
Logic, Language, and Computation
9th International Tbilisi Symposium on Logic, Language, and...
Lecture Notes in Computer Science ; 7758;SpringerLink, Bücher
?
2
Algebraic and proof-theoretic aspects of non-classical logi..
papers in honor of Daniele Mundici on the occasion of his 6...
Lecture notes in computer science ; 4460, Lecture notes in artificial intelligence;Festschrift;FoLLI publications on logic, language and information