Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por número de registro: 006162
 
 
Libro

Unification types in logic

Wojciech Dzik.

Katowice : Wydawnictwo Uniwersytetu Slaskiego, 2007.

192 págs. : ilustraciones ; 24 cm.

Serie: Prace naukowe Uniwersytetu Slaskiego w Katowicach, ISSN 0208-6336 ; nr 2554

ISBN: 9788322617175 (pbk.), 8322617178

Errata insertada.

Summary in Polish and German.

Incluye referencias bibliográficas (p. 180-186) e índice.

Reseña: MathSciNet, 2009i:03002

 
Registro 006162 · Modificado: 12/03/2013

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos