|
|
|
|
| LEADER |
00966nam a22002775a 4500 |
| 001 |
21461 |
| 003 |
AR-SrUBC |
| 005 |
20210617145556.0 |
| 007 |
t||||||||||||| |
| 008 |
000616m||||||||enk#||||r|||||||||||spa|| |
| 020 |
|
|
|a 0198751427
|
| 040 |
|
|
|a AR-SrUBC
|b spa
|e rcaa2
|
| 080 |
|
|
|a 510.6=20
|
| 080 |
|
|
|a 164=20
|2 1995 ES
|
| 100 |
1 |
|
|a Bostock, David.
|9 41501
|
| 245 |
1 |
0 |
|a Intermediate logic.
|c David Bostock.
|
| 260 |
|
|
|a Oxford :
|b Clarendon,
|c 1997.
|
| 300 |
|
|
|a ix, 393 p. ;
|c 23 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 505 |
0 |
0 |
|a Contenido: Introduction -- Truth-functors -- Quantifiers -- Semantic tableaux -- Axiomatic proofs -- Natural deduction -- Sequent calculi -- Existence and identity.
|
| 650 |
|
7 |
|a LOGICA MATEMATICA
|2 lemb3
|9 41502
|
| 650 |
|
7 |
|a LOGICA SIMBOLICA
|2 lemb3
|9 10609
|
| 942 |
|
|
|2 cdu
|b 2000-06-16
|c BK
|d 022678
|h 510.6=20
|i BOSi
|z NO
|6 510620_BOSI
|
| 999 |
|
|
|c 21461
|d 21461
|