Proof theory and logical complexity

Riferimento: 9788870881233

Editore: Bibliopolis
Autore: Girard Jean-Yves
Collana: Studies in proof theory
In commercio dal: 04 Aprile 2007
Pagine: 506 p., Libro
EAN: 9788870881233
78,00 €
Quantità
Non disponibile

help_outlineContatta il negozio
Proof theory and logical complexity

Proof theory and logical complexity