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

Richard Zach

We need a photo of Richard Zach

7 works Add another?

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

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

    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

    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

    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

    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

    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

    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 Logic Text

    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

Lists

ID Numbers

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