| LDR | | 01141namu 2200241 k 4500 |
| 001 | | 000000073987 |
| 005 | | 20010101000000 |
| 008 | | 000523s1990 ge 000a eng |
| 020 | |
▼a 3540527346 :0387527346 :
▼c DM30.00 |
| 040 | |
▼a DLC
▼c DLC
▼d DLC |
| 049 | |
▼l M0117065
▼l M0177399 |
| 050 | |
▼a QA3QA9.A1
▼b .L28 no. 1429 |
| 082 | |
▼2 20
▼a 510 s511.3 |
| 090 | |
▼a 410.8
▼b L471
▼c V.1429 |
| 245 | 10 |
▼a Logic and computer science :
▼b lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /
▼d S. Homer ... [et al.] ;
▼e editor, P. Odifreddi. |
| 260 | |
▼a BerlinNew York :
▼b Springer-Verlag,
▼c c1990. |
| 300 | |
▼a 162 p. :
▼b ill. ;
▼c 26 cm. |
| 440 | 00 |
▼a Lecture notes in mathematics ;
▼v v.1429 |
| 504 | |
▼a Includes bibliographical references. |
| 650 | |
▼a Logic, Symbolic and mathematicalProgramming (Mathematics)Computational complexity -
▼x Congresses.Congresses.Congresses. |
| 700 | 0 |
▼a Homer, S./
▼a Odifreddi, Piergiorgio,
▼d 1950-
▼q (Steven) |
| 710 | |
▼a Centro internazionale matematico estivo. |
| 830 | |
▼a Lecture notes in mathematics (Springer-Verlag) ;
▼v 1429 |