Su búsqueda retornó 7 resultados.

Resultados
		Advanced Lukasiewicz calculus and MV-algebras [recurso electrónico] / by D. Mundici. por Mundici, D [author.] \| SpringerLink (Online service). Series Trends in Logic ; 35Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.
		Dual Tableaux: Foundations, Methodology, Case Studies [recurso electrónico] / by Ewa Orlowska, Joanna Golinska Pilarek. por Orlowska, Ewa [author.] \| Golinska Pilarek, Joanna [author.] \| SpringerLink (Online service). Series Trends in Logic ; 33Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.
		Gentzen Calculi for Modal Propositional Logic [recurso electrónico] / by Francesca Poggiolesi. por Poggiolesi, Francesca [author.] \| SpringerLink (Online service). Series Trends in Logic ; 32Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: B1 -5802.
		Methods of Cut-Elimination [recurso electrónico] / by Alexander Leitsch, Matthias Baaz. por Leitsch, Alexander [author.] \| Baaz, Matthias [author.] \| SpringerLink (Online service). Series Trends in Logic ; 34Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.
		Natural Deduction, Hybrid Systems and Modal Logics [recurso electrónico] / by Andrzej Indrzejczak. por Indrzejczak, Andrzej [author.] \| SpringerLink (Online service). Series Trends in Logic ; 30Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: BC1 -199.
		Paradoxes [recurso electrónico] / by Piotr Lukowski. por Lukowski, Piotr [author.] \| SpringerLink (Online service). Series Trends in Logic ; 31Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: BC1 -199.
		Philosophy of Syntax [recurso electrónico] : Foundational Topics / by Mieszko Talasiewicz. por Talasiewicz, Mieszko [author.] \| SpringerLink (Online service). Series Trends in Logic ; 29Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: P101 -120.

Con tecnología Koha