Skip to Content

Book Search

1-2 of 2 results for Author: katalin bimbo (sorted by Publication Date, showing all)
  1. Proof Theory

    Sequent Calculi and Related Formalisms

    By Katalin Bimbo

    Series: Discrete Mathematics and Its Applications

    Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide...

    Published August 20th 2014 by Chapman and Hall/CRC

  2. Combinatory Logic

    Pure, Applied and Typed

    By Katalin Bimbó

    Series: Discrete Mathematics and Its Applications

    Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as a comprehensive source for current developments of combinatory logic, this book is the only one of its kind to cover results of the last...

    Published July 27th 2011 by Chapman and Hall/CRC

Simple Book Search

  1. Date-range:

Advanced Book Search

We suggest filling in as few fields as possible – this usually retrieves the best selection of search results.

Search Options
  1. Date-range: