Refine your search

Your search returned 543 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. Syntax and semantics

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

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

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. The Logical problem of language acquisition / edited by C.L. Baker and John J. McCarthy

Baker, C. L | Mac Carthy, John J.

Material type: book Book; Format: print Publisher: Cambridge, Mass. [etc.] : MIT, 1981Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (2). Location(s): Sótano-13/1-138.

5. Logical design of digital systems / Arthur D. Friedman

Friedman, Arthur Daniel.

Material type: book Book Publisher: London : Pitman, 1977Availability: Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL [Call number: Matemáticas - 519.68/FRI/log] (1). Location(s): Matemáticas - 519.68/FRI/log.

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

7. Modern logic in the service of law / Ilmar Tammelo

Tammelo, Ilmar, b.1917.

Material type: book Book; Format: print Publisher: Wien ; New York : Springer-Verlag, 1978Availability: Items available for loan: 01. BIBLIOTECA CAMPUS JEREZ (1). Location(s): F-1349.

8. Handbook of theoretical computer science / edited by Jan van Leeuwen

Leeuwen, Jan van.

Material type: book Book; Format: print Publisher: Amsterdam ; Oxford : Elsevier, c1990Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Checked out (4). Location(s): 681.3/HAN.

9. Counterfactuals / David Lewis

Lewis, David, 1941-.

Material type: book Book Publisher: Oxford : Basil Blackwell, 1973 (1986 [printing])Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): Sótano-46/1-253.

10. Conditionals / Frank Jackson

Jackson, Frank, 1943-.

Material type: book Book Publisher: Oxford : Blackwell, 1987Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): Sótano-46/5-283.

11. Relevant logic : a philosophical examination of inference / Stephen Read

Read, Stephen, 1947-.

Material type: book Book Publisher: Oxford : Basil Blackwell, 1988Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): Sótano-46/1-221.

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

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

14. Logic and time : an essay on Husserl's theory of meaning / Krzysztof Michalski

Michalski, Krzysztof, 1948-.

Material type: book Book; Format: print Publisher: Dordrecht [etc.] : Kluwer Academic Publishers, c1997Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): Sótano-01/3-171.

15. Reasoning with rules : an essay on legal reasoning and its underlying logic / Jaap C. Hage

Hage, J. C, (Jaap C).

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht ; Boston : Kluwer Academic Publishers, c1997Availability: Items available for loan: 01. BIBLIOTECA CAMPUS JEREZ (1). Location(s): F-3977.

16. Propositional structure and illocutionary force : a study of the contribution of sentence meaning to speech acts

Katz, Jerrold J., (Jerrold Jacob).

Material type: book Book; Format: print Publisher: Hassocks : Harvester Press, 1977Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): Sótano-46/5-141.

17. Propositional attitudes : the role of content in logic, language, and mind / edited by C. Anthony Anderson and Joseph Owens

Anderson, C. Anthony | Owens, Joseph, 1943-.

Material type: book Book; Format: print Publisher: Stanford,Ca : Centre for the Study of Languages and Information, 1990Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): 800.1/PRO.

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

19. Les échelles argumentatives / Oswald Ducrot

Ducrot, Oswald.

Material type: book Book; Format: print Publisher: Paris : Minuit, 1980Availability: Items available for loan: 01. BIBLIOTECA CAMPUS JEREZ (1). Location(s): F-1766.

20. La logique et le quotidien : une analyse dialogique des mécanismes de l'argumentation / Gilbert Dispaux

Dispaux, Gilbert.

Material type: book Book; Format: print Publisher: Paris : Editions de Minuit, c1984Availability: Items available for loan: 01. BIBLIOTECA CAMPUS JEREZ (1), 06. BIBLIOTECA HUMANIDADES (1). Location(s): F-1731, Sótano-01/6-037.

Powered by Koha