In the name of Allah the Merciful
search results

search results

Sign in
0
{{item.title}} {{item.subtitle}}
{{item.total|number}} Toman
حذف
ثبت و نهایی کردن سفارش
Your download basket is empty
  1. Home
  2. Products
  3. An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

BUY A FULL ACCESS ACCOUNT AND ENJOY UNLIMITED DOWNLOADS! CONTACT US TO GET YOUR ACCOUNT.

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Paolo Mancosu, Sergio Galvan, Richard Zach, 2021910782, 9780192895936, 9780192895943, 978-0192895936, 978-0192895943

10 $

English | 2021 | PDF

number
type
  • {{value}}
wait a little
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs