Chargement en cours...
Topology via logic
| Auteur principal: | |
|---|---|
| Format: | Printed Book |
| Publié: |
Cambridge university press
1989
|
| LEADER | 00423nam a22001217a 4500 | ||
|---|---|---|---|
| 082 | |a 514 |b VIC. T | ||
| 100 | |a Vickers, Steven | ||
| 245 | |a Topology via logic | ||
| 260 | |b Cambridge university press |c 1989 | ||
| 500 | |a cambridge tracts in theoretical computer science | ||
| 942 | |c BK | ||
| 999 | |c 13304 |d 13304 | ||
| 952 | |0 0 |1 0 |4 0 |6 514_000000000000000_VIC__T |7 0 |9 15482 |a CAMPUS |b CAMPUS |d 2017-07-27 |l 0 |o 514 VIC. T |p 09082 |r 2017-07-27 |w 2017-07-27 |y BK | ||