Media type: Book; Conference Proceedings Title: Logical foundations of computer science : 4th international symposium ; proceedings Contributor: Adjan, Sergej I. [Hrsg.] Event: LFCS imprint: Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1234 Extent: IX, 429 S.; graph. Darst Language: English ISBN: 3540630457 RVK notation: SS 4800 : Lecture notes in computer science SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Informatik > Mathematische Logik Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 4161 Item ID: 10014424 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order