Refine your search

Your search returned 41 results.

|
1.
Éléments de mathématiques modernes / Moses Richardson, Traduit par R. de Marcillac

by Richardson, Moses, 1911-.

Edition: 10ª ed. rev. et augm.Material type: Text Text; Format: print Publisher: Paris : Dunod, 1968Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1). Location(s): Depósito - 51/ 4.756.

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

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

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: San Diego [etc.] : Academic Press, 1973Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1), 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): 510.6/CHA/sym, Depósito-510.6/CHA/sym.

3.
Fundamentos de lógica y teoría de la ciencia / Miguel A. Quintanilla

by Quintanilla, Miguel A.

Material type: Text Text; Format: print Publisher: Salamanca : Universidad de Salamanca, 1981Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1), 04. BIBLIOTECA CIENCIAS DE LA SALUD (1). Location(s): Depósito - 160.1/QUI/fun, 18.408/D.

4.
El juego de la lógica y otros escritos / selección y prólogo de Alfredo Deaño

by Carroll, Lewis, 1832-1898 | Deaño Gamallo, Alfredo.

Material type: Text Text; Format: print Publisher: Madrid : El Libro de Bolsillo Alianza, [1972]Availability: Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL [Call number: Matemáticas - 510.6/CAR/jue] (1). Location(s): Matemáticas - 510.6/CAR/jue.

5.
Set theory and the continuum hypothesis / Paul J. Cohen ; with a new introduction by Martin Davis.

by Cohen, Paul J, 1934-2007.

Edition: Dover ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Mineola, N.Y. : Dover Publications, 2008Availability: Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL [Call number: AIZ/697] (1). Location(s): AIZ/697.

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

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

Material type: Text Text Publisher: Dordrecht ; London : Kluwer Academic ; c1994Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (4). Location(s): Matemáticas - 510.21/HAN.

7.
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.

8.
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.

9.
Una introducción algebraica a la lógica matemática / Donald W. Barnes

by Barnes, Donald W | Mack, John M.

Material type: Text Text; Format: print Publisher: Barcelona : EUNIBAR, 1978Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): 510.6/BAR/int.

10.
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 (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.

11.
Set theory and the continuum hypothesis / [by] Paul J. Cohen

by Cohen, Paul J, 1934-.

Material type: Text Text; Format: print Publisher: New York : W.A. Benjamin, [1966]Availability: Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL [Call number: AIZ/615] (1). Location(s): AIZ/615.

12.
Ensayo de lógica operatoria / Jean Piaget

by Piaget, Jean, 1896-1980.

Material type: Text Text; Format: print Publisher: Buenos Aires : Guadalupe, 1977Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (2). Location(s): 16/PIA/ens.

13.
Primer curso de logica matematica / Patrick Suppes, Shirley Hill ; version espagnol de Enrique Lines Escardo

by Suppes, Patrick | Hill, Shirley A.

Material type: Text Text; Format: print Publisher: Barcelona : Reverte, 1968Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): Sótano-44/5-193.

14.
Ontology and the logistic analysis of language : an enquiry into the contemporary views on universals / Guido Kung ; [translated by E.C.M. Mays, and revised by the author].

by Küng, Guido.

Edition: Rev. ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Dordrecht : D. Reidel, 1967Availability: Items available for loan: 04. BIBLIOTECA CIENCIAS DE LA SALUD (1). Location(s): 10.655/D";"7202/07/KUN.

15.
The Oxford handbook of philosophy of mathematics and logic / edited by Stewart Shapiro.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Oxford ; New York : Oxford University Press, 2005Other title: Philosophy of mathematics and logic.Availability: Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL [Call number: 510.21/OXF] (1). Location(s): 510.21/OXF.

16.
On Intuitionistic Fuzzy Sets Theory [Recurso electrónico] / by Krassimir T. Atanassov.

by Atanassov, Krassimir T.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

17.
Logic, proof, and set theory / by Marvin L. Bittinger

by Bittinger, Marvin L., (Marvin Lowell,), 1941-.

Edition: 2nd edMaterial type: Text Text; Format: print Publisher: Reading, MA ; London : Addison-Wesley, 1982Availability: Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL [Call number: AIZ/658] (1). Location(s): AIZ/658.

18.
Filosofía y computación / Angel Garrido.

by Garrido, Angel.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Madrid : Dykinson, 2017Availability: Items available for loan: 01. BIBLIOTECA CAMPUS JEREZ (1). Location(s): F-6756.

19.
Syntax and semantics

by Heny, Frank | Schnelle, Helmut S | Groningen Round Table (3rd).

Material type: Text Text; Format: print Publisher: New York ; London : Academic Press, c1979Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): Sótano-43/4-229.

20.
From Frege to Gödel : a source book in Mathematical Logic, 1879-1931 / Jean van Heijenoort

by Heijenoort, Jean van [compilador].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge : Harvard University Press, [2002]Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): 164/FRO.

Powered by Koha