Search results for: Zach, Richard
Showing 1 - 5 results of 5
Refine Results
-
1
The Open Logic Text: Complete Build : Open Logic Project
Authors: Zach, Richard
Published: Open Logic Text 2016Holdings: Loading…Open Textbook Library: 2016 (Open Textbook Library @ University of Minnesota)
Open Research Library (ORL): 2016 (Open Research Library)
Electronic eBook -
2
Die schönen Worte fallen welk und fremd-- : Kassibertexte, Gedichte und Briefe
Authors: Zach, Richard, 1919-1943
Published: Verlag für Literatur, Kunst und Musikalien, 1993Physical Description: 128 pages : portrait, facsimiles ; 22 cm.Holdings: Loading…
Book Loading… -
3
An introduction to proof theory normalization, cut-elimination, and consistency proofs
Authors: Mancosu, Paolo, Galvan, Sergio, 1946-, Zach, Richard
Published: Oxford University Press, 2021Holdings: Loading…Oxford Scholarship Online 2021: 2021 (Oxford Academic)
University Press Scholarship Online Complete Collection: 2021 (Oxford Academic)
Oxford Scholarship Online: 2021 (Oxford Academic)
Electronic eBook -
4
Open Logic Project
Authors: Zach, Richard, Zach, Richard, Arana, Andrew, Avigad, Jeremy, Dean, Walter, Russell, Gillian, Wyatt, Nicole, Yap, Audrey
Published: Zach, Richard, 2016Physical Description: 1 online resource.Holdings: Loading…Connect to online resource - MSU authorized users (Open Textbook Library @ University of Minnesota)
Electronic Website -
5
forall x Calgary: an introduction to formal logic
Authors: Magnus, P DOther Authors:
Published: BCcampus 2023Holdings: Loading…Open Textbook Library: 2023 (Open Textbook Library @ University of Minnesota)
Electronic eBook