It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by MARC Bot
July 28, 2020 | History
Edit

Richard Zach

We need a photo of Richard Zach

6 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Sets, Logic, Computation: An Open Introduction to Metalogic

    First published in 2017 3 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Forall X : Calgary: An Introduction to Formal Logic

    First published in 2019 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

    First published in 2021 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Introduction a la Theorie de la Demonstration: Elimination des Coupures, Normalisation et Preuves de Coherence

    First published in 2022 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Boxes and Diamonds: An Open Introduction to Modal Logic

    First published in 2019 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Incompleteness and Computability: An Open Introduction to Gödel's Theorems

    First published in 2019 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Richard Zach

Subjects
Mathematics, Philosophy, Textbooks

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL8025260A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
July 28, 2020 Created by MARC Bot import new book