A model-theoretic approach to proof theory /

A model-theoretic approach to proof theory /

Bibliographic Details
Main Author: Kotlarski, Henryk 1949-2008 (Autor/a)
Other Authors: Adamowicz, Zofia (Editor/a), Bigorajska, Teresa (Editor/a), Zdanowski, Konrad (Editor/a)
Format: Book
Language:English
Published: Switzerland : Springer, c2019.
Series:Trends in logic Volume 51
Subjects:
TEORIA DE LA PRUEBA
LÓGICA, SIMBÓLICA Y MATEMÁTICA
TEORIA DE MODELOS
Online Access:Ver documento en línea

Internet

Ver documento en línea

Sistema de Bibliotecas de Universidad de Costa Rica

Holdings details from Sistema de Bibliotecas de Universidad de Costa Rica
Call Number: 511.36
Copy Available

Similar Items