|
|
|
|
| LEADER |
00711nam a2200217 a 4500 |
| 001 |
1607679 |
| 005 |
20171111234259.0 |
| 008 |
930609s1987 cy da er 000 u eng d |
| 020 |
|
|
|a 8870881237
|
| 040 |
|
|
|a CY
|b University of Cyprus
|e AACR-2
|
| 050 |
|
|
|a QA9.54.G57 1987
|
| 100 |
1 |
|
|a Girard, Jean-Yves
|
| 240 |
1 |
0 |
|a Logical complexity
|
| 245 |
1 |
0 |
|a Proof theory and logical complexity=
|b Logical complexity/
|c Jean-Yves Girard
|
| 246 |
1 |
3 |
|a Logical complexity
|
| 260 |
|
|
|a Napoli:
|b Bibliopolis,
|c c1987-
|
| 300 |
|
|
|a v. <1 > ;
|c 25 cm.
|
| 490 |
0 |
|
|a Studies in proof theory
|v 1
|
| 500 |
|
|
|a Includes index.
|
| 650 |
|
0 |
|a Proof theory
|
| 952 |
|
|
|a CY-NiOUC
|b 5a043aa56c5ad14ac1e9d42e
|c 998a
|d 945l
|e QA9.54.G57 1987
|t 1
|x m
|z Books
|
