Refine your search

Your search returned 193 results.

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

by Lightstone, Albert Harold | Enderton, Herbert Bruce.

Material type: Text Text; Format: print Publisher: New York ; London : Plenum Press, 1978Availability: Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL [Call number: AIZ/326] (1). Location(s): AIZ/326.

Log in to add tags Add to cart
2.
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 Publisher: Barcelona : Reverte, 1978Availability: Items available for loan: 01. BIBLIOTECA CAMPUS JEREZ (3). Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL [Call number: Matemáticas - 510.6/SUP/pri] (1).
Location(s): Ma-103.

Place hold Log in to add tags Add to cart
3.
How to prove it : A structured approach / Daniel J. Velleman

by Velleman, Daniel J.

Material type: Text Text; Format: print Publisher: Cambridge : University Press, 1994Availability: Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL [Call number: Matemáticas - 510.6/VEL/how] (1). Location(s): Matemáticas - 510.6/VEL/how.

Log in to add tags Add to cart
4.
Logique mathématique / Jean François Pabion ; préf. de Marcel Guillaume

by Pabion, Jean François, 1942-.

Material type: Text Text; Format: print Publisher: Paris : Hermann, c1976Availability: Items available for loan: 07. BIBLIOTECA CIENCIAS SOCIALES Y JURÍDICAS (1). Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL [Call number: Matemáticas - 510.6/PAB/log] (1).
Location(s): 510.6/PAB/log.

Place hold Log in to add tags Add to cart
5.
Logique moderne

by Grize, Jean-Blaise.

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

Place hold Log in to add tags Add to cart
6.
Mathematical logic / Stephen Cole Kleene.

by Kleene, Stephen Cole.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Mineloa, New York : Dover, 2002Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): 510.6/KLE/mat.

Place hold Log in to add tags Add to cart
7.
El teorema de Gödel / Ernest Nagel y James R. Newman

by Nagel, Ernest | Newman, James R.

Edition: 2ª ed.Material type: Text Text; Format: print Publisher: Madrid : Tecnos, 1994Availability: Items available for loan: 01. BIBLIOTECA CAMPUS JEREZ (1). Location(s): Ma-538.

Place hold Log in to add tags Add to cart
8.
Una introducción matemática a la lógica / Herbert B. Enderton ; traducción José Alfredo Amor Montaño

by Enderton, Herbert B.

Edition: 2ª ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: México : Universidad Nacional Autónoma de México, 2004Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2). Location(s): 510.6/END/int.

Place hold Log in to add tags Add to cart
9.
Lógica simbólica / Manuel Garrido

by Garrido, Manuel.

Edition: 4a ed.Material type: Text Text; Format: print Publisher: Madrid : Tecnos, 2001Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): 510.6/GAR/log.

Place hold Log in to add tags Add to cart
10.
Introducción a la metamatemática / Stephen Cole Kleene.

by Kleene, Stephen Cole.

Material type: Text Text; Format: print Publisher: Madrid : Tecnos, 1974Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): Sótano-32/5-187.

Place hold Log in to add tags Add to cart
11.
Giuseppe Peano y la utopa̕ del lenguaje / Eduardo Agپero Mackern

by Agüero Mackern, Eduardo.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Madrid : UNED, 2004Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): Sótano-19/1-155.

Place hold Log in to add tags Add to cart
12.
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' [editor literario] | Gallego, Enrique, 1949- [editor literario] | Flum, Jörg [prologuista].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Madrid : Marova D.L.2009Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1). Location(s): 510.6/PRI/log.

Place hold Log in to add tags Add to cart
13.
Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum

Material type: Text Text; Format: print Publisher: Oxford : Clarendon, 1992Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): Sótano-16/5-195.

Place hold Log in to add tags Add to cart
14.
Lógica formal / Paul Lorenzen

by Lorenzen, Paul.

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

Place hold Log in to add tags Add to cart
15.
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 Publisher: Madrid : Sanz y Torres, 2001Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2). Checked out (1). Location(s): 510.6/FUN.

Place hold Log in to add tags Add to cart
16.
Lógica para matemáticos / A.G. Hamilton

by Hamilton, A.G.

Material type: Text Text; Format: print Publisher: Madrid : Paraninfo, 1981Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL [Call number: AIZ/531] (1).
Location(s): 510.6/HAM/log.

Place hold Log in to add tags Add to cart
17.
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 Publisher: Madrid : Sanz y Torres, 1993Availability: Items available for loan: 00. BIBLIOTECA CAMPUS DE ALGECIRAS (1), 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): 510.6/ARA/log, Depósito-510.6/ARA/log.

Place hold Log in to add tags Add to cart
18.
The languages of logic : an introduction to formal logic / Samuel Guttenplan

by Guttenplan, Samuel.

Material type: Text Text; Format: print Publisher: Oxford : Basil Blackwell, 1991Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (2). Location(s): Sótano-46/1-248.

Place hold Log in to add tags Add to cart
19.
¿Qué es la lógica matemática? / J.N. Crossley... [et al.] ; presentación y notas de Luis Ml. Valdés, traducción [del inglés] de Jesús Alcolea Banegas ; revisada por Luis Ml. Valdés

by Crossley, John N | Meléndez Valdés, Luis | Alcolea Banegas, Jesús.

Material type: Text Text; Format: print Publisher: Madrid : Tecnos, 1983Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1), 06. BIBLIOTECA HUMANIDADES (2). Location(s): 164.1:51/QUE, Sótano-44/5-189.

Place hold Log in to add tags Add to cart
20.
Fundamentación lógica de la física / Rudolf Carnap

by Carnap, Rudolf, 1891-1970.

Material type: Text Text; Format: print Publisher: Buenos Aires : Sudamericana, 1969Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): Sótano-12/2-024.

Place hold Log in to add tags Add to cart

Powered by Koha