TEST - Catálogo BURRF
   

Su búsqueda retornó 5 resultados.

Ordenar
Resultados
1.
Dag prawitz on proofs and meaning / edited by Heinrich Wansing. por
  • Wansing, Heinrich [editor.]
  • SpringerLink (Servicio en línea)
Series Outstanding Contributions to Logic ; 7
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Cham : Springer International Publishing : Springer, 2015
Disponibilidad: No hay ítems disponibles.

2.
Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / edited by Steffen Hölldobler, Carsten Lutz, Heinrich Wansing. por
  • Hölldobler, Steffen [editor.]
  • Lutz, Carsten [editor.]
  • Wansing, Heinrich [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5293
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Disponibilidad: No hay ítems disponibles.

3.
Recent trends in philosophical logic / edited by Roberto Ciuni, Heinrich Wansing, Caroline Willkommen. por
  • Ciuni, Roberto [editor.]
  • Wansing, Heinrich [editor.]
  • Willkommen, Caroline [editor.]
  • SpringerLink (Servicio en línea)
Series Trends in Logic, Studia Logica Library ; 41
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Cham : Springer International Publishing : Springer, 2014
Disponibilidad: No hay ítems disponibles.

4.
Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV / edited by David Makinson, Jacek Malinowski, Heinrich Wansing. por
  • Makinson, David [editor.]
  • Malinowski, Jacek [editor.]
  • Wansing, Heinrich [editor.]
  • SpringerLink (Servicio en línea)
Series Trends in Logic ; 28
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2009
Disponibilidad: No hay ítems disponibles.

5.
Truth and Falsehood : An Inquiry into Generalized Logical Values / by Yaroslav Shramko, Heinrich Wansing. por
  • Shramko, Yaroslav [autor]
  • Wansing, Heinrich [autor]
  • SpringerLink (Servicio en línea)
Series Trends in Logic ; 36
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2012
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