Katalin Bimbó

Katalin Bimbó (born 1963) is a logician and philosopher known for her books on mathematical logic and proof theory. She earned a Ph.D. in 1999 at Indiana University Bloomington, under the supervision of Jon Michael Dunn, and is a professor of philosophy at the University of Alberta after having earned tenure there in 2013. Provided by Wikipedia
Showing 1 - 6 results of 6 for search 'Bimbó, Katalin, 1963-', query time: 0.28s Refine Results
  1. 1
    Generalized Galois logics : relational semantics of nonclassical logical calculi /
    by Bimbó, Katalin, 1963-
    Published 2008
    Book
  2. 2
    Combinatory logic : pure, applied and typed /
    by Bimbó, Katalin, 1963-
    Published 2012
    Connect to the full text of this electronic book
    eBook
  3. 3
    Proof theory : sequent calculi and related formalisms /
    by Bimbó, Katalin, 1963-
    Published 2015
    Connect to the full text of this electronic book
    eBook
  4. 4
    Combinatory logic : pure, applied and typed /
    by Bimbo, Katalin, 1963
    Published 2012
    Connect to the full text of this electronic book
    eBook
  5. 5
    Proof theory : sequent calculi and related formalisms /
    by Bimbo, Katalin, 1963
    Published 2015
    Connect to the full text of this electronic book
    eBook
  6. 6
    Proof theory sequent calculi and related formalisms /
    by Bimbó, Katalin, 1963-
    Published 2015
    Connect to the full text of this electronic book
    eBook
Search Tools: RSS Feed – Email Search