Refine your search

Your search returned 194 results.

Sort
Results
Giuseppe Peano y la utopa̕ del lenguaje / Eduardo Agپero Mackern

by Agüero Mackern, Eduardo.

Series: Aula abierta (Universidad Nacional de Educación a Distancia)Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Madrid : UNED, 2004Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1)Location, call number: Sótano-19/1-155.

El teorema de Gödel / Ernest Nagel y James R. Newman

by Nagel, Ernest | Newman, James R.

Series: Cuadernos de Filosofía y EnsayoEdition: 2ª ed.Material type: Text Text; Format: print Publication details: Madrid : Tecnos, 1994Availability: Items available for loan: 01. BIBLIOTECA CAMPUS JEREZ (1)Location, call number: Ma-538.

Mathematical logic / Stephen Cole Kleene.

by Kleene, Stephen Cole.

Series: Dover books on mathematicsMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: Mineloa, New York : Dover, 2002Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Location, call number: 510.6/KLE/mat.

Mathematical logic : an introduction to model theory / A.H. Lightstone, edited by H.B. Enderton

by Lightstone, Albert Harold | Enderton, Herbert Bruce.

Series: Mathematical concepts and methods in science and engineering ; vol.9Material type: Text Text; Format: print Publication details: New York ; London : Plenum Press, 1978Availability: Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Location, call number: AIZ/326.

How to prove it : A structured approach / Daniel J. Velleman

by Velleman, Daniel J.

Material type: Text Text; Format: print Publication details: Cambridge : University Press, 1994Availability: Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Location, call number: Matemáticas - 510.6/VEL/how.

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

by Pabion, Jean François, 1942-.

Series: Collection Méthodes | MathématiquesMaterial type: Text Text; Format: print Publication details: Paris : Hermann, c1976Availability: Items available for loan: 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1)Location, call number: 510.6/PAB/log. Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Location, call number: Matemáticas - 510.6/PAB/log.

Introducción a la metamatemática / Stephen Cole Kleene.

by Kleene, Stephen Cole.

Series: Estructura y función ; 42.Material type: Text Text; Format: print Publication details: Madrid : Tecnos, 1974Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1)Location, call number: Sótano-32/5-187.

Lógica simbólica / Manuel Garrido

by Garrido, Manuel.

Series: Filosofía y ensayoEdition: 4a ed.Material type: Text Text; Format: print Publication details: Madrid : Tecnos, 2001Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Location, call number: 510.6/GAR/log.

Logique moderne

by Grize, Jean-Blaise.

Material type: Text Text; Format: print Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (2)Location, call number: Sótano-34/1-035, ...

Lógica matemática / Joaquín Aranda Almansa, José Luis Fernández Marrón, Fernando Morilla García

by Aranda Almansa, Joaquín | Fernández Marrón, José Luis | Morilla García, Fernando.

Material type: Text Text; Format: print Publication details: Madrid : Sanz y Torres, 1993Availability: Items available for loan: 00. BIBLIOTECA CAMPUS DE ALGECIRAS (1)Location, call number: 510.6/ARA/log. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Location, call number: Depósito-510.6/ARA/log.

Lógica formal / Paul Lorenzen

by Lorenzen, Paul.

Material type: Text Text; Format: print Publication details: Madrid : Selecciones Científicas, D.L. 1970Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1)Location, call number: Sótano-44/5-154.

Lógica matemática / José F. Prida ; edición al cuidado de Angel d'Ors y Enrique Gallego; [prólogo de Jörg Flum]

by Prida, José F, 1934-2003 | Ors, Angel d' [] | Gallego, Enrique, 1949- [] | Flum, Jörg [].

Series: Manuales (Marova)Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Madrid : Marova D.L.2009Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Location, call number: 510.6/PRI/log.

Una introducción matemática a la lógica / Herbert B. Enderton ; traducción José Alfredo Amor Montaño

by Enderton, Herbert B.

Series: Filosofía contemporáneaEdition: 2ª ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: México : Universidad Nacional Autónoma de México, 2004Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Location, call number: 510.6/END/int, ...

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

by Suppes, Patrick | Hill, Shirley A.

Material type: Text Text; Format: print Publication details: Barcelona : Reverte, 1978Availability: Items available for loan: 01. BIBLIOTECA CAMPUS JEREZ (3)Location, call number: Ma-103, ... Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Location, call number: Matemáticas - 510.6/SUP/pri.

Lógica para matemáticos / A.G. Hamilton

by Hamilton, A.G.

Series: Lógica y teoría de la cienciaMaterial type: Text Text; Format: print Publication details: Madrid : Paraninfo, 1981Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Location, call number: 510.6/HAM/log. Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Location, call number: AIZ/531.

Fundamentos de lógica matemática / Joaquín Aranda Almansa ... [et al.]

by Aranda Almansa, Joaquín.

Edition: 2a ed., 2a reimp.Material type: Text Text; Format: print Publication details: Madrid : Sanz y Torres, 2001Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Location, call number: 510.6/FUN, ... Not available: 03. BIBLIOTECA INGENIERÍA PUERTO REAL: Checked out (1).

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

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

Series: Synthese library ; 164 ;Material type: Text Text Publication details: Dordrecht ; London : Kluwer Academic ; c1994Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (4)Location, call number: Matemáticas - 510.21/HAN, ...

Induction and analogy in mathematics / by G. Polya

by Polya, George.

Series: Mathematics and plausible reasoning ; vol.1Material type: Text Text; Format: print Publication details: London : OUP, 1954Availability: Not available: 02. BIBLIOTECA CAMPUS PUERTO REAL: Patrimonio bibliográfico (1).

Lógica matemática / José Ferrater Mora y Hughes Leblanc

by Ferrater Mora, José | Leblanc, Hugues.

Series: Obras de filosofía (Fondo de Cultura Económica)Edition: 8a edMaterial type: Text Text; Format: print Publication details: México : Fondo de Cultura Económica, 1983Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Location, call number: 164.1/FER/log.

La lógica formal / A. Virieux-Reymond ; traducción de Néstor Alberto Míguez.

by Virieux-Reymond, A.

Material type: Text Text; Format: print Publication details: Buenos Aires : Ateneo, [1976]Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Location, call number: 164/VIR/log.

Pages

Powered by Koha