Proof interpretations ; Fernando Ferreira., Ordinals, computations, and models of set theory ; Peter Koepke : two tutorials / Meeting "Days in Logic '06" ; ed. Reinhard Kahle, Isabel Oitavem

Corporate Author (Main): Meeting "Days in Logic '06",, 2,, 2006Coauthor: Koepke,, Peter;Ferreira, Fernando, 1958-Secondary Author: Kahle, Reinhard, 1967-;Rocha,, Isabel Maria Oitavem Fonseca daLanguage: Inglês.Country: Portugal.Publication: Coimbra : Departamento de Matemática da Universidade de Coimbra, 2006Description: V, 78, [3] p. ; 24 cmISBN: 978-972-8564-42-1.Series: Textos de matemática, 38Subject - Topical Name: Matemática | Conferências. Congressos. Colóquios Online Resources:Click here to access online