Media type: E-Book; Conference Proceedings Title: Logical Foundations of Computer Science : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings Contributor: Adjan, Sergej I. [Author]; Nerode, Anil [Other] imprint: Berlin, Heidelberg: Springer Berlin Heidelberg, 1997 Published in: Lecture notes in computer science ; 1234 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/3-540-63045-7 ISBN: 9783540630456 Identifier: RVK notation: SS 4800 : Lecture notes in computer science SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Informatik > Mathematische Logik Origination: Footnote: