|
|
|
|
| LEADER |
00729cam a22002417a 4500 |
| 001 |
BIBLO-29148 |
| 003 |
AR-BaUEN |
| 005 |
20201012180423.0 |
| 008 |
981111s1996 nyu||||f |||| 00| 0|eng|d |
| 040 |
|
|
|a AR-BaUEN
|b spa
|c AR-BaUEN
|
| 020 |
|
|
|a 0387945938
|
| 044 |
|
|
|a xxu
|
| 080 |
|
|
|a 510.6
|b F547f2
|
| 100 |
1 |
|
|a Fitting, Melvin
|
| 245 |
1 |
0 |
|a First-order logic and automated theorem proving
|
| 250 |
|
|
|a 2nd. ed.
|
| 260 |
|
|
|a New York, NY :
|b Springer,
|c c1996
|
| 300 |
|
|
|a 326 p.
|
| 490 |
0 |
|
|a Graduate texts in computer science
|
| 653 |
1 |
0 |
|a LOGICA MATEMATICA
|
| 653 |
1 |
0 |
|a MATEMATICAS COMPUTACIONALES
|
| 962 |
|
|
|a info:eu-repo/semantics/book
|a info:ar-repo/semantics/libro
|b info:eu-repo/semantics/publishedVersion
|
| 999 |
|
|
|c 22687
|