Su búsqueda recuperó 6 resultados.

Resultados
		The classical decision problem / Egon Borger, Erich Gradel, Yuri Gurevich por Börger, E. (Egon), 1946- [autor] \| Gradel, Erich [autor] \| Gurevich, Yuri [autor]. Series Perspectives in mathematical logicTipo de material: Texto; Forma literaria: No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1997Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.35 B67. Hacer reserva Agregar al carrito (remover)
		Cours internationaux post-univesitaires de perfectionnement pour docteurs et licencies en mathematiques / Ministere de l'Education Nationale et de la Culture, Organisationdes etudes. Methodes, stages de formation et de perfectionnement du personnel et materiel didactique por Ministere de l"Education Nationale et de la Culture. Organisation des etudes. Methodes stages de formation et de perfectionnement du personnel et materiel didactique. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: [Lugar de publicación no identificado] : Ministere de L'Education Nationale et de la Culture, 1965Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA171 C68. Hacer reserva Agregar al carrito (remover)
		The decision problem : Solvable classes of quantificational formulas / Burton dreben, Warren d. goldfarb por Dreben, Burton [autor] \| Goldfarb, Warren D [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Reading, mass. : Addison-wesley, 1979Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA9.35 D73, ... Hacer reserva Agregar al carrito (remover)
		Logic : Form and function : The mechanization of dedctive reasoning / J. a. Robinson por Robinson, John Alan [autor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: [new york] : North-holland, 1979Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC199.F61 R63. Hacer reserva Agregar al carrito (remover)
		Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten por Dijkstra, Edsger Wybe [autor] \| Scholten, Carel S [autor]. Series Texts and monographs in computer scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Springer Verlag, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9.35 D55. Hacer reserva Agregar al carrito (remover)
		Subsystems of second order arithmetic / Stephen G. Simpson por Simpson, Stephen George, 1945- [autor]. Series Perspectives in mathematical logicTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin ; New York : Springer Verlag, c1999Disponibilidad: Ítems disponibles para préstamo: Libros (4)Clasificación: QA9.7 S55, ... Hacer reserva Agregar al carrito (remover)