Su búsqueda obtuvo 5 resultados.

Ordenar
Resultados
Logique mathématique / Jean François Pabion ; préf. de Marcel Guillaume

por Pabion, Jean François, 1942-.

Series Collection Méthodes | MathématiquesTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Paris : Hermann, c1976Disponibilidad: Ítems disponibles para préstamo: 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1)Ubicación, signatura topográfica: 510.6/PAB/log. Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 510.6/PAB/log.

Primer curso de logica matematica / Patrick Suppes, Shirley Hill ; version español de Enrique Lines Escardo

por Suppes, Patrick | Hill, Shirley A.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Barcelona : Reverte, 1978Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (3)Ubicación, signatura topográfica: Ma-103, ... Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 510.6/SUP/pri.

Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner

por Gabbay, Dov M, 1945- | Guenthner, F.

Series Synthese library ; 164 ;Tipo de material: Texto Texto Detalles de publicación: Dordrecht ; London : Kluwer Academic ; c1994Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (4)Ubicación, signatura topográfica: Matemáticas - 510.21/HAN, ...

Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee

por Chang, Chin-Liang | Lee, Richard Char-Tung.

Series Computer science and applied mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: San Diego [etc.] : Academic Press, 1973Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/CHA/sym. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-510.6/CHA/sym.

Ensayo de lógica operatoria / Jean Piaget

por Piaget, Jean, 1896-1980.

Series Biblioteca pedagógicaTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Buenos Aires : Guadalupe, 1977Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (2)Ubicación, signatura topográfica: 16/PIA/ens, ...

Páginas

Con tecnología Koha