Popis: Structural proof theory /

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Negri, Sara, 1967- (Autor), Von Plato, Jan, 1951- (Autor)
Typ dokumentu:	Kniha
Jazyk:	Angličtina
Vydáno:	Cambridge : Cambridge University Press, 2001
Vydání:	First published
Témata:	matematická logika matematické důkazy teorie důkazu mathematical logic mathematical proofs proof theory kolektivní monografie učební texty collective monographs educational texts

Přejít na ObalkyKnih.cz

Popis
Fyzický popis:	xvii, 256 stran
ISBN:	0-521-79307-6 978-0-521-06842-0 978-0-521-79307-0