Refine your search

Your search returned 219 results. Subscribe to this search

|
1. Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee by Chang, Chin-Liang Material type Libro; Format: impreso Publication: San Diego [etc.] : Academic Press, 1973 Physical description: 331 p : Availability: Items available: 02. BIBLIOTECA CAMPUS PUERTO REAL [510.6/CHA/sym] (1), 03. BIBLIOTECA INGENIERÍA PUERTO REAL [Depósito-510.6/CHA/sym] (1),

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 Libro; Format: impreso Publication: Oxford : Clarendon, 1992 Physical description: 2 v. Availability: Items available: 03. BIBLIOTECA INGENIERÍA PUERTO REAL [681.3/HAN] (2),

3. HANDBOOK of logic in artificial intelligence and logic programming / ed. by Dov M. Gabbay and C.J. Hogger and J.A. Robinson   Material type Libro; Format: impreso Publication: Oxford : Clarendon, 1993 Physical description: XIII, 518 p. Availability: Items available: 03. BIBLIOTECA INGENIERÍA PUERTO REAL [681.3/HAN] (1),

4. Essentials of logic programming / Christopher John Hogger by Hogger, Christopher John Material type Libro; Format: impreso Publication: Oxford : Clarendon, 1990 Physical description: XI, 299 p. Availability: Items available: 02. BIBLIOTECA CAMPUS PUERTO REAL [Depósito - 519.68/HOG/ess] (1), 03. BIBLIOTECA INGENIERÍA PUERTO REAL [Depósito-681.3.06/HOG/ess] (1),

5. Logic, proof, and set theory / by Marvin L. Bittinger by Bittinger, Marvin L., Material type Libro; Format: impreso Publication: Reading, MA ; | London : Addison-Wesley, 1982 Physical description: 131p ; cm Availability: No items available:

6. Mathematical logic : an introduction to model theory / A.H. Lightstone, edited by H.B. Enderton by Lightstone, Albert Harold Material type Libro; Format: impreso Publication: New York ; | London : Plenum Press, 1978 Physical description: xiii,338p ; 24cm Availability: No items available:

7. How to read and do proofs an introduction to mathematical thougth processes / Daniel Solow by Solow, Daniel Material type Libro; Format: impreso Publication: New York : Hohn Wiley sons, 1990 Physical description: 242 p. Availability: No items available:

8. First-order logic / Raymond M. Smullyan by Smullyan, R.M. Material type Libro; Format: impreso Publication: New York : Dover Publications, 1995 Physical description: 158 p. Availability: Items available: 02. BIBLIOTECA CAMPUS PUERTO REAL [510.6/SMU/fir] (2), 03. BIBLIOTECA INGENIERÍA PUERTO REAL [510.6/SMU/fir] (1),

9. Notes on logic and set theory / P. T. Johnstone by Johnstone, P. T. Material type Libro; Format: impreso Publication: New York : Springer, 1993 Physical description: x, 110 p. ; 20 cm Availability: Items available: 02. BIBLIOTECA CAMPUS PUERTO REAL [510.6/JOH/not] (2),

10. How to prove it : A structured approach / Daniel J. Velleman by Velleman, Daniel J. Material type Libro; Format: impreso Publication: Cambridge : University Press, 1994 Physical description: 309 p. Availability: No items available:

11. Introduction to logic / by Patrick Suppes by Suppes, Patrick Material type Libro; Format: impreso Publication: New York [etc.] : D. Van Nostrand Company, 1957 Physical description: XIII, 312 p. Availability: Items available: 02. BIBLIOTECA CAMPUS PUERTO REAL [510.6/SUP/int] (1),

12. From signs to propositions : the concept of form in eighteenth-century semantic theory / Stephen K. Land by Land, Stephen K Material type Libro; Format: impreso Publication: London : Longman, 1974 Physical description: viii, 202 p ; 23 cm Availability: Items available: 06. BIBLIOTECA HUMANIDADES [Sótano-43/6-236] (1),

13. The languages of logic : an introduction to formal logic / Samuel Guttenplan by Guttenplan, Samuel Material type Libro; Format: impreso Publication: Oxford : Basil Blackwell, 1991 Physical description: 336 p Availability: Items available: 06. BIBLIOTECA HUMANIDADES [Sótano-46/1-248] (1), 06. BIBLIOTECA HUMANIDADES [Sótano-46/2-024] (1),

14. Induction and analogy in mathematics / by G. Polya by Polya, George Material type Libro; Format: impreso Publication: London : OUP, 1954 Physical description: 2 v Availability: No items available:

15. Fuzzy logic technology and applications / Robert J. Marks II, editor, preface by Lofti Zadeh   Material type Libro; Format: impreso Publication: New York : Institute of Electrical and Electronics Engineers, 1994 Physical description: xxv, 575 p Availability: Items available: 03. BIBLIOTECA INGENIERÍA PUERTO REAL [681.5/FUZ] (1),

16. Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner   Material type Libro Publication: Dordrecht ; | London : Kluwer Academic 1994 Physical description: xi,493p ; 23cm Availability: Items available: 02. BIBLIOTECA CAMPUS PUERTO REAL [Matemáticas - 510.21/HAN] (4),

17. Logique mathématique, cours et exercices by Cori, Renĝ Material type Libro; Format: impreso Publication: Paris : Masson, 1993 Physical description: xv, 385 p ; 24 cm Availability: No items available:

18. Logique mathématique, cours et exercices by Cori, René Material type Libro; Format: impreso Publication: Paris : Masson, Physical description: xv, 347 p ; 24 cm Availability: No items available:

19. Logique mathématique / Jean François Pabion ; préf. de Marcel Guillaume by Pabion, Jean François, Material type Libro; Format: impreso Publication: Paris : Hermann, 1976 Physical description: xxxi, 263 p ; 22 cm Availability: Items available: 07. BIBLIOTECA CIENCIAS SOCIALES [510.6/PAB/log] (1),

20. 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 Libro; Format: impreso Publication: Lyon : Presses Universitaires, 1992 Physical description: 188 p. Availability: No items available:

Powered by Koha