Structural proof theory

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Negri, Sara, 1967-, Plato, Jan von (Autor)
Další autoři: Ranta, Aarne (Spolupracovník)
Médium: Livre papier
Jazyk:Anglais
Vydáno: Cambridge (GB) ; New York : Cambridge University Press 2001.
Témata:
Poznámka: Autre tirage : 2008
Autres localisations: Voir dans le Sudoc
Popis
Popis jednotky:Autre tirage : 2008
Fyzický popis:1 vol. (XVII-257 p.) ; 24 cm.
Bibliografie:Bibliogr. p. 245-249. Index
ISBN:9780521793070 (rel.)
9780521068420 (br.)
0521793076 (rel.)