Proof theory and logical complexity.. T.1/
Girard, Jean-Yves
Proof theory and logical complexity.. T.1/ Jean-Yves Girard. - Napoli: Bibliopolis, c1987. - 503 p; 25 cm. - Studies in proof theory; 1. .
Index.
Bibliographie : p. [497]-500.
8870881237
Proof theory
Preuve, théorie de la.
511.352 / G517p
Proof theory and logical complexity.. T.1/ Jean-Yves Girard. - Napoli: Bibliopolis, c1987. - 503 p; 25 cm. - Studies in proof theory; 1. .
Index.
Bibliographie : p. [497]-500.
8870881237
Proof theory
Preuve, théorie de la.
511.352 / G517p