Computational logic and proof theory
- Författare
- Kurt Gödel Colloquium 1997 : Wien)
- (5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1997 | Tyskland, Berlin | viii, 348 sidor. | |
| Springer Berlin Heidelberg | 1997 | Utgivningsland okänt / Ej specificerat | ||
| Springer-Vlg | cop. 1993 | Tyskland, Berlin, New York | 348 sidor. | |
| Springer Berlin Heidelberg | 1993 | Utgivningsland okänt / Ej specificerat |