It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited anonymously
April 30, 2008 | History
Edit

Reinhard Kahle

We need a photo of Reinhard Kahle

11 works Add another?

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

  • Cover of: Intensionality

    First published in 2005 — 3 editions
    Locate

    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: Advances in Proof Theory

    First published in 2016 — 3 editions
    Locate

    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: Axiomatic Thinking I

    First published in 2021 — 2 editions
    Locate

    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: Gentzen's Centenary: The Quest for Consistency

    First published in 2015 — 2 editions
    Locate

    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: Legacy of Kurt Schütte

    First published in 2020 — 2 editions
    Locate

    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: Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science)

    First published in 2001 — 2 editions
    Locate

    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: Intensionality (Lecture Notes in Logic) (Lecture Notes in Logic)

    First published in 2005 — 2 editions
    Locate

    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: Axiomatic Thinking II

    First published in 2021 — 2 editions
    Locate

    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: Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

    First published in 2009 — 1 edition
    Locate

    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: Verantwortung: Ein Begriff in Seiner Aktualität

    First published in 2021 — 1 edition
    Locate

    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: Limits of AI - Theoretical, Practical, Ethical

    First published in 2024 — 1 edition
    Locate

    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 Reinhard Kahle

Subjects

Proof theory, Congresses, Automatic theorem proving, Congrès, General, Intentionnalité, Logic, symbolic and mathematical, Logique modale, Logique symbolique, Logique symbolique et mathématique, MATHEMATICS, Mathematical logic and foundations, Mathematics, Mathematics, philosophy, Mathématiques, Moral and ethical aspects, Philosophie, Philosophy, Responsibility, Science, Symbolic and mathematical Logic

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL3064496A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
April 30, 2008 Created by an anonymous user initial import