Normal view MARC view ISBD view

Meeting "Days in Logic '06",

Proof interpretations

Proof interpretations; : two tutorials / Meeting "Days in Logic '06" ; Fernando Ferreira. ; Peter Koepke ; ed. Reinhard Kahle, Isabel Oitavem. - Coimbra : Departamento de Matemática da Universidade de Coimbra, 2006. - V, 78, [3] p. ; 24 cm. - (Textos de matemática : 38)

. - ISBN 978-972-8564-42-1 (brochado)
Matemática / Conferências. Congressos. Colóquios /

CDU 510.6(042)