Wordt geladen…
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II /
Bewaard in:
| Coauteur: | |
|---|---|
| Andere auteurs: | |
| Formaat: | Conferentie akten Boek |
| Gepubliceerd in: |
Berlin :
Springer-Verlag,
1984
|
| Reeks: | Lecture notes in mathematics (Springer-Verlag) ;
1104 |
| Onderwerpen: | |
| Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|