|
|
|
|
| LEADER |
01226nam a2200289 a 4500 |
| 001 |
1/39160 |
| 008 |
091217s2008 cau bi 001 0 eng |
| 020 |
|
|
|a 9781575864846 (pbk. : alk. paper)
|
| 020 |
|
|
|a 1575864843 (pbk. : alk. paper)
|
| 035 |
|
|
|l 41813
|
| 040 |
|
|
|a DLC
|c DLC
|d DLC
|d GR-PeUP
|
| 082 |
0 |
0 |
|a 511.3 BAR
|
| 100 |
1 |
|
|a Barker-Plummer, Dave.
|
| 245 |
1 |
0 |
|a Tarski's world /
|c by Dave Barker-Plummer, Jon Barwise, John Etchemendy.
|
| 250 |
|
|
|a Rev. and expanded.
|
| 260 |
|
|
|a Stanford, Calif. :
|b CSLI Publications,
|c c2008.
|
| 300 |
|
|
|a 126 σ. ;
|c 23 εκ. +
|e 1 οπτικός δίσκος Η/Υ.
|
| 490 |
1 |
|
|a CSLI lecture notes ;
|
| 504 |
|
|
|a Περιέχει βιβλιογραφία και ευρετήριο.
|
| 650 |
|
4 |
|a First-order logic.
|
| 700 |
1 |
|
|a Barwise, Jon.
|
| 700 |
1 |
|
|a Etchemendy, John,
|d 1952-
|
| 830 |
|
|
|a CSLI lecture notes ;
|v 169
|
| 852 |
|
|
|a INST
|b UNIPILB
|c MAIN
|e 20091217
|h 511.3 BAR
|p 00159945
|q 00159945
|t LOAN
|y 0
|4 1
|
| 856 |
4 |
1 |
|3 Πίνακας περιεχομένων:
|u http://www.loc.gov/catdir/toc/ecip0421/2004017514.html
|
| 856 |
4 |
|
|d /webopac/covers/02/41813_9781575864846.jpg
|z (pbk. : alk. paper)
|
| 856 |
4 |
|
|d /webopac/covers/02/41813_1575864843.jpg
|z (pbk. : alk. paper)
|
