TEST - Catálogo BURRF
   

Su búsqueda retornó 2 resultados.

Ordenar
Resultados
1.
The life and work of leon henkin : essays on his contributions / edited by María Manzano, Ildikó Sain, Enrique Alonso. por
  • Manzano, María [editor.]
  • Sain, Ildikó [editor.]
  • Alonso, Enrique [editor.]
  • SpringerLink (Servicio en línea)
Series Studies in Universal Logic
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Cham : Springer International Publishing : Imprint: Birkhäuser, 2014
Disponibilidad: No hay ítems disponibles.

2.
Tools for Teaching Logic : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings / edited by Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano. por
  • Blackburn, Patrick [editor.]
  • Ditmarsch, Hans [editor.]
  • Manzano, María [editor.]
  • Soler-Toscano, Fernando [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6680
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.

Páginas
Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha