|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 003 |
AR-LpUFIB |
| 005 |
20250311170307.0 |
| 008 |
230201s1992 xxu r 000 0 eng d |
| 020 |
|
|
|a 9760937073904
|
| 024 |
8 |
|
|a DIF-M3239
|b 3342
|z DIF003145
|
| 040 |
|
|
|a AR-LpUFIB
|b spa
|c AR-LpUFIB
|
| 100 |
1 |
|
|a Barwise, Jon
|
| 245 |
1 |
0 |
|a The language of first-order logic :
|b Including the IBM-compatible Windows version of Tarski's World 4.0
|
| 250 |
|
|
|a 3rd ed. rev. and expanded
|
| 260 |
|
|
|a Stanford :
|b [S.n.],
|c 1992
|
| 300 |
|
|
|a xiv, 319 p. : il, 23 cm.
|
| 505 |
0 |
|
|a Preface -- Part 1Propositional logic -- Part 2 Quantifiers -- Part 3 Aplications of First-order Logic -- Part 4 Advanced topics -- General Index -- Tarski's World index -- Excersice files index
|
| 650 |
|
4 |
|a TARSKI'S WORLD (PROGRAMA)
|
| 942 |
|
|
|c BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 J2_BAR
|7 0
|9 77915
|a DIF
|b DIF
|d 2011-08-19
|i DIF-00342
|l 0
|o J.2 BAR
|p DIF-00342
|r 2025-03-11 17:03:07
|w 2025-03-11
|y BK
|
| 999 |
|
|
|c 52993
|d 52993
|
