STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Sergio Galvan | lit.salon
Sergio Galvan
No bio available.
Add one in Open Library.
Books by Sergio Galvan (50 max)
+ shelf
+ list
Introduction to Proof Theory Normalization, Cut-Elimination, and Consistency Proofs
2021
Paolo Mancosu, Sergio Galvan, Richard Zach
+ shelf
+ list
Lira de Lucy: Antolog�a de C�mics
2019
Sergio Galvan, Oscar Bachtold, Monica Polin
+ shelf
+ list
Introduction a la Theorie de la Demonstration Elimination des Coupures, Normalisation et Preuves de Coherence
2022
Sergio Galvan, Paolo Mancosu, Richard Zach, Yacine Aggoune, David Appadourai
