Proof theory and logical complexity

Riferimento: 9788870881233

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