Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO
Congreso Kurt Gödel Colloquium (3rd : 1993 : Brno, Czech Republic)

Título Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, (Eds.)

Publicación Berlin [etc.] : Springer-Verlag, cop. 1993
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 713    PRÉSTAMO LARGO  DISPONIBLE