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

    Proof theory, particularly sequent calculi, allows you to provide completely formal proofs of theorems and facilitate reasoning about proofs. However, sequent calculi are not widely taught to students at either the undergraduate or graduate levels. Remedying this deficiency, this book provides a...

    To Be Published August 21st 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 26th 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: