Media type: Book Title: Logic and computation : interactive proof with Cambridge LCF Contributor: Paulson, Lawrence C. [Author] imprint: Cambridge [u.a.]: Cambridge Univ. Press, 1990 Published in: Cambridge tracts in theoretical computer science ; 2.1990 Issue: 1. paperback ed. Extent: XIII, 302 S Language: English ISBN: 0521346320; 0521395607 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge Keywords: Berechenbarkeit > Mathematische Logik Origination: Footnote: