A model-theoretic approach to proof theory - Kotlarski, Henryk 1949-2008; Adamowicz, Zofia; Bigorajska, Teresa; Zdanowski, Konrad (Switzerland : Springer, 2019)
También disponible en formato EPUB
Keywords: TEORIA DE LA PRUEBA; LÓGICA, SIMBÓLICA Y MATEMÁTICA; TEORIA DE MODELOS