First-order logic and automated theorem proving /

Bibliographic Details
Main Author: Fitting, Melvin, 1942-
Format: Book
Language:English
Published: New York : Springer, 1996.
Edition:2a. ed.
Series:Graduate texts in computer science
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20160908122752.0
008 110629s1996 nyu||||| |||| 00| 0 eng d
020 |a 0387945938 
040 |a AR_CdUFM  |c AR_CdUFM 
100 1 |9 5286  |a Fitting, Melvin,  |d 1942- 
245 1 0 |a First-order logic and automated theorem proving / 
250 |a 2a. ed. 
260 |a New York :   |b Springer,   |c 1996. 
300 |a xvi, 326 p. :  |b il. ;  |c 25 cm. 
490 0 |a Graduate texts in computer science 
500 |a La biblioteca posee 2 ej. 
650 4 |a Lógica matemática. 
650 4 |a Lenguajes formales. 
650 4 |a Mathematical logic. 
650 4 |a Formal languages. 
942 |c LIBRO  |2   
945 |a MCR  |d 2011-06-29 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F4_F547_EJ2  |7 0  |9 7281  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 3  |o C F4 F547 ej.2  |p 14496  |r 2023-01-24 00:00:00  |s 2012-10-23  |w 2008-06-09  |y LIBRO 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F4_F547  |7 0  |9 7282  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 0  |o C F4 F547   |p 14011  |r 2023-01-24 00:00:00  |w 2008-06-09  |y LIBRO 
999 |c 5502  |d 5502