Home Page
Authors
Authors
Sergio Galvan - books and biography
Sergio Galvan - books and biography
1 product
1 product
Paper book «An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs», authors Paolo Mancosu, Richard Zach, Sergio Galvan – фото №1
0
0
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Paolo Mancosu Paolo Mancosu, Richard Zach, Sergio Galvan
Not available
0-800-335-425 063-033-54-25
Free of charge within Ukraine
7 days a week, 09:00-20:00
Mobile application
Read and listen to books in the largest library of eBooks and audiobooks from top Ukrainian and world authors
Yakaboo
Information
© Yakaboo 2004-2026. All rights reserved