Computation and proof theory. Part 2 : proceedings of the logic colloquium ; Aachen, July 18 - 23, 1983 /
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Körperschaft: | |
| Format: | Tagungsbericht Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Berlin :
Springer,
1984
|
| Online-Zugang: |
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 4500 | ||
|---|---|---|---|
| 003 | SK-BrCVT | ||
| 005 | 20240920084949.0 | ||
| 008 | 860101s1984 gw e 1|||||eng d | ||
| 035 | |a CVTIDW0927186 | ||
| 040 | |b slo |a CVTI SR |c CVT |d CVT | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 080 | |a 519.1 |2 UDC-MRF | ||
| 080 | |a 519.6/.8 |2 UDC-MRF | ||
| 100 | 1 | |a Ambos-Spies, Klaus |4 aut | |
| 111 | 0 | |a Proceedings of the logic colloquium |n (Aachen) | |
| 245 | 1 | 0 | |a Computation and proof theory. Part 2 : |b proceedings of the logic colloquium ; Aachen, July 18 - 23, 1983 / |c authors: Klaus Ambos-Spies and Co. ; red.: M. M. Richter, E. Borger, W. Oberschelp |
| 260 | |a Berlin : |b Springer, |c 1984 | ||
| 300 | |a 8, 475 s. : |b lit., obr. ; | ||
| 700 | 1 | T | |a Richter, Michael M., |d 1938- |4 red |
| 700 | 1 | T | |a Börger, E. |q (Egon), |d 1946- |4 red |
| 700 | 1 | T | |a Oberschelp, W. |4 red |
| 910 | |b A454521 | ||
| 992 | |a AMG |a AZN | ||
| 999 | |c 276929 |d 276929 | ||
| 974 | |b Katarína Repatá | ||