> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Extensions of first order logic Enthält: Literaturverz S. [352] - 363 Beteiligte: Manzano, María [VerfasserIn] Erschienen: Cambridge [u.a.]: Cambridge Univ. Press, 1996 Erschienen in: Cambridge tracts in theoretical computer science ; 19 Ausgabe: 1. publ. Umfang: XXII, 388 S. Sprache: Englisch ISBN: 0521354358 RVK-Notation: CC 2500 : Philosophische Logik SK 130 : Logik und Grundlagen, Metamathematik, Schlagwörter: Prädikatenlogik > Stufe 1 Mathematische Logik Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Cambridge tracts in theoretical computer science