Richard Zach

Richard Zach is a Canadian logician, philosopher of mathematics, and historian of logic and analytic philosophy. He is currently Professor of Philosophy at the University of Calgary. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Zach, Richard', query time: 0.02s Refine Results
  1. 1
    An introduction to proof theory : normalization, cut-elimination, and consistency proofs /

    An introduction to proof theory : normalization, cut-elimination, and consistency proofs / by Mancosu, Paolo, Galvan, Sergio, 1946-, Zach, Richard

    Published 2021
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  2. 2
    An introduction to proof theory : normalization, cut-elimination, and consistency proofs /

    An introduction to proof theory : normalization, cut-elimination, and consistency proofs / by Mancosu, Paolo, Galvan, Sergio, 1946-, Zach, Richard

    Published 2021
    Full Text (via Oxford Scholarship Online)
    eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search