> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Rippling : meta-level guidance for mathematical reasoning Enthält: Literaturverz. S. 193 - 199 Beteiligte: Bundy, Alan [Sonstige Person, Familie und Körperschaft] Erschienen: Cambridge [u.a.]: Cambridge Univ. Press, 2005 Erschienen in: Cambridge tracts in theoretical computer science ; 56 Ausgabe: 1. publ. Umfang: XIV, 202 S-; Ill., graph. Darst Sprache: Englisch ISBN: 9780521834490; 052183449X RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, Schlagwörter: Mathematische Logik > Beweisführung Entstehung: Anmerkungen: Includes bibliographical references and index. - Formerly CIP Weitere Bestandsnachweise 0 : Cambridge tracts in theoretical computer science