Loading…
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Published: |
Berlin :
Springer-Verlag,
1984
|
| Series: | Lecture notes in mathematics (Springer-Verlag) ;
1104 |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a2200000u 4500 | ||
|---|---|---|---|
| 001 | 00640336 | ||
| 003 | PWmBRO | ||
| 005 | 20240602100722.0 | ||
| 008 | 130587 | ||
| 090 | |b 511.3/L832c | ||
| 111 | 3 | 0 | |a Logic Colloquium |d (1983 : |c Aachen) |
| 245 | 1 | 0 | |a Computation and proof theory : |b proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II / |c edited by M.M. Richter ... [et al.] |
| 260 | |a Berlin : |b Springer-Verlag, |c 1984 | ||
| 300 | |a 475p. | ||
| 490 | 1 | 0 | |a Lecture notes in mathematics ; |v 1104 |
| 650 | |a Proof theory. | ||
| 700 | 1 | 0 | |a Richter, Michael M., |d 1938- |
| 830 | |a Lecture notes in mathematics (Springer-Verlag) ; |v 1104 | ||
| 942 | |2 ddc | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_L832C |7 0 |8 MN |9 42078 |a ML015 |b ML015 |c MN |d 2024-06-02 |l 0 |o 511.3 L832c |p 042813 |r 2018-03-24 00:00:00 |w 2018-03-24 |y BK | ||
| 994 | 0 | 1 | |a T1001 042 813 |
| 999 | |c 30397 |d 30397 | ||