Sale!
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs 1st Edition Paolo Mancosu
$25.00
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs 1st Edition Paolo Mancosu Digital Instant Download
ISBN(s): 9780192895936, 9780192895943, 0192895931, 019289594X, 2021910782
Edition: 1
File Details: PDF, 2.88 MB
Year: 2021
Language: English
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs – Ebook Instant Download/Delivery ISBN(s): 9780192895936,9780192895943,0192895931,019289594X,2021910782
You may also like…
Sale!
Sale!
$24.50
Sale!
Sale!
Computers - Programming
$25.00
Sale!
Mathematics - Analysis
$25.00
Sale!
Computers - Programming
$25.00
Sale!
$24.50
Sale!
$25.00
Sale!
Mathematics - Dynamical Systems
Qualitative Theory of ODEs: An Introduction to Dynamical Systems Theory 1st Edition Henryk Zoladek
$25.00