Media type: Book Title: Extensions of first order logic Contains: Literaturverz S. [352] - 363 Contributor: Manzano, María [Author] imprint: Cambridge [u.a.]: Cambridge Univ. Press, 1996 Published in: Cambridge tracts in theoretical computer science ; 19 Issue: 1. publ. Extent: XXII, 388 S. Language: English ISBN: 0521354358 RVK notation: CC 2500 : Philosophische Logik SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Prädikatenlogik > Stufe 1 Mathematische Logik Origination: Footnote: