Cover Image
Read Now

1
by Bimbó, Katalin
Published 2012
CRC Press
Table of Contents: “...Preface; Elements of combinatory logic ; Objects, combinators and terms; Various kinds...”
Cover Image
Read Now

2
by Bimbó, Katalin
Published 2015
CRC Press, Taylor & Francis Group
Table of Contents: “...1. Proofs and proof theory -- 2. Classical first-order logic -- 3. Variants of the first sequent...”