Refine your search

Your search returned 191 results. Subscribe to this search

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

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

Material type: book Book; 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.

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

Material type: book Book; Format: print Publisher: Oxford : Clarendon, 1992Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2). Location(s): 681.3/HAN.

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

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

Edition: 2nd edMaterial type: book Book; 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.

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

Lightstone, Albert Harold | Enderton, Herbert Bruce.

Material type: book Book; 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.

5. How to read and do proofs an introduction to mathematical thougth processes / Daniel Solow

Solow, Daniel.

Edition: 2 nd ed.Material type: book Book; Format: print Publisher: New York : Hohn Wiley sons, 1990Availability: Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL [Call number: Matemáticas - 51/ 39.239] (1). Location(s): Matemáticas - 51/ 39.239.

6. First-order logic / Raymond M. Smullyan

Smullyan, R.M.

Material type: book Book; Format: print Publisher: New York : Dover Publications, 1995Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Checked out (2). Location(s): 510.6/SMU/fir.

7. Notes on logic and set theory / P. T. Johnstone

Johnstone, P. T.

Material type: book Book; Format: print Publisher: New York : Springer, cop. 1993Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (2). Location(s): 510.6/JOH/not.

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

Velleman, Daniel J.

Material type: book Book; 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.

9. Introduction to logic / by Patrick Suppes

Suppes, Patrick.

Material type: book Book; Format: print Publisher: New York [etc.] : D. Van Nostrand Company, 1957Availability: No items available Checked out (1).

10. From signs to propositions : the concept of form in eighteenth-century semantic theory / Stephen K. Land

Land, Stephen K.

Material type: book Book; Format: print Publisher: London : Longman, 1974Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): Sótano-43/6-236.

11. The languages of logic : an introduction to formal logic / Samuel Guttenplan

Guttenplan, Samuel.

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

12. Induction and analogy in mathematics / by G. Polya

Polya, George.

Material type: book Book; Format: print Publisher: London : OUP, 1954Availability: Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL [Call number: Matemáticas - 510.6/POL/ind] (1). Location(s): Matemáticas - 510.6/POL/ind.

13. Fuzzy logic technology and applications / Robert J. Marks II, editor, preface by Lofti Zadeh

Marks, Robert J | Institute of Electrical and Electronics Engineers. Products Council.

Material type: book Book; Format: print Publisher: New York : Institute of Electrical and Electronics Engineers, c1994Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): 681.5/FUZ.

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

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

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

15. Logique mathématique, cours et exercices

Cori, René | Lascar, D, Daniel, 1942-.

Material type: book Book; Format: print Publisher: Paris : Masson, 24 cmAvailability: Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL [Call number: Matemáticas - 510.6/COR/log] (1). Location(s): Matemáticas - 510.6/COR/log.

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

Pabion, Jean François, 1942-.

Material type: book Book; 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.

17. Initiation au raisonnement déductif au collége : une suite de situations permettant làppropriation des régles du débat mathématique / Gilbert Arsac...[et al.]

Material type: book Book; Format: print Publisher: Lyon : Presses Universitaires, 1992Availability: Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL [Call number: Matemáticas - 51/ 39.278] (1). Location(s): Matemáticas - 51/ 39.278.

18. Grammaire de Montague : Langage, traduction, interpretation

Chambreuil, Michel.

Material type: book Book; Format: print Publisher: Clermont : Adosa, 1989Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): Sótano-46/3-109.

19. Lógica matemática / Yu Ershov, E. Paliutin, traducido del ruso por M.A. Andrianova

Ershov, Yu | Paliutin, E.

Material type: book Book; Format: print Publisher: Moscu ̦: Mir, cop. 1990Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1), 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1), 08. BIBLIOTECA CAMPUS DE ALGECIRAS (3). Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL [Call number: AIZ/154] (1).
Location(s): 510.6/ERS/lóg, 510.6/ERS/log, 510.6/ERS/log.

20. Aplicaciones de la lógica borrosa / Enric Trillas, Julio Gutiérrez Rios, editores

Trillas, Enric | Gutiérrez Rios, Julio.

Material type: book Book; Format: print Publisher: Madrid : Consejo Superior de Investigaciones Científicas, 1992Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1), 08. BIBLIOTECA CAMPUS DE ALGECIRAS (1). Items available for reference: 03. BIBLIOTECA INGENIERÍA PUERTO REAL [Call number: Informática - 447/I] (2).
Location(s): 164/APL, 510.649/APL.

Powered by Koha