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
Autore: Girard Jean-Yves Collana: Studies in proof theory In commercio dal: 04 Aprile 2007 Pagine: 506 p., Libro EAN: 9788870881233
78,00 €