Structural proof theory

Sparad:
Bibliografiska uppgifter
Huvudupphovsmän: Negri, Sara, 1967-, Plato, Jan von (Författare, medförfattare)
Övriga upphovsmän: Ranta, Aarne (Collaborateur)
Materialtyp: Livre papier
Språk:Anglais
Publicerad: Cambridge (GB) ; New York : Cambridge University Press 2001.
Ämnen:
Anmärkning: Autre tirage : 2008
Autres localisations: Voir dans le Sudoc
Beskrivning
Beskrivning:Autre tirage : 2008
Fysisk beskrivning:1 vol. (XVII-257 p.) ; 24 cm.
Bibliografi:Bibliogr. p. 245-249. Index
ISBN:9780521793070 (rel.)
9780521068420 (br.)
0521793076 (rel.)