|
|
|
|
| LEADER |
00991nam a2200265 a 4500 |
| 001 |
UNA01000323657 |
| 005 |
20230112152844.0 |
| 008 |
221101t1999 xxu r 000 0 eng d |
| 020 |
|
|
|a 157586374X
|
| 040 |
|
|
|a Sistema de Bibliotecas de la Universidad Nacional de Costa Rica
|
| 040 |
|
|
|a SIDUNA
|
| 082 |
0 |
4 |
|a 160
|b B296L
|2 22
|
| 100 |
1 |
|
|a Barwise, Jon,
|e autor
|
| 245 |
1 |
0 |
|a Language proof and logic /
|c Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer and Albert Liu.
|
| 260 |
|
|
|a United States :
|b Center for the Study of Language and Information,
|c c1999.
|
| 300 |
|
|
|a xi, 587 páginas.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 500 |
|
|
|a Contiene glosario e índice general.
|
| 650 |
0 |
4 |
|a LÓGICA
|
| 700 |
1 |
|
|a Etchemendy, John,
|d 1952- ,
|e autor
|
| 700 |
1 |
|
|a Allwein, Gerard,
|d 1956- ,
|e autor
|
| 700 |
1 |
|
|a Barker-Plummer, Dave,
|e autor
|
| 700 |
1 |
|
|a Liu, Albert,
|d 1966- ,
|e autor
|