> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Structural proof theory Enthält: Literaturverz. S. 245 - 249 Beteiligte: Negri, Sara [Verfasser:in]; Plato, Jan von [Verfasser:in] Erschienen: Cambridge [u.a.]: Cambridge Univ. Press, 2001 Ausgabe: 1. publ. Umfang: XVII, 257 S. Sprache: Englisch ISBN: 9780521793070; 0521793076 RVK-Notation: CC 2500 : Philosophische Logik CC 2600 : Abhandlungen zur Logik und mathematischen Grundlagenforschung SK 130 : Logik und Grundlagen, Metamathematik, Schlagwörter: Beweistheorie Entstehung: Anmerkungen: Includes bibliographical references and indexes