Home » Combinatory Logic
Product Image

Combinatory Logic

Katalin Bimbó
€72.99
Quantity:
Ships in 10-20 days
Delivery/Collection within 10-20 working days
Shipping & Delivery
A01=Katalin Bimbo
advanced combinatory logic applications
Age Group_Uncategorized
Age Group_Uncategorized
Author_Katalin Bimbo
automatic-update
basis
Category1=Non-Fiction
Category=PBCH
Category=PBD
Category=UMB
Category=UY
church
Church Rosser Property
Church Rosser Theorem
closure
Combinatory Algebra
Combinatory Axioms
Combinatory Basis
Combinatory Logic
COP=United Kingdom
Delivery_Pre-order
Diamond Property
Dual Combinators
eq_bestseller
eq_computing
eq_isMigrated=2
eq_nobargain
eq_non-fiction
equality
Fixed Point Property
Fixed Point Theorem
formal systems
Implicational Fragment
lambda calculus
Language_English
mathematical logic
Natural Numbers
PA=Not yet available
Partial Recursive Functions
Price_€50 to €100
Primitive Recursive
Primitive Recursive Functions
proof theory
property
Propositional Variables
Provable Equations
PS=Forthcoming
recursion theory
reduction
Reflexive Transitive Closure
rosser
Sequent Calculi
Simple Type
softlaunch
Substitution Instance
symbolic computation
theorem
transitive
Type Assignment Systems
Vice Versa
weak
Weak Equality
Weak Reduction

Product details

  • ISBN 9781032921181
  • Weight: 660g
  • Dimensions: 156 x 234mm
  • Publication Date: 14 Oct 2024
  • Publisher: Taylor & Francis Ltd
  • Publication City/Country: GB
  • Product Form: Paperback
  • Language: English
Secure checkout Fast Shipping Easy returns
Description

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 four decades. Using a reader-friendly style, the author presents the most up-to-date research studies. She includes an introduction to combinatory logic before progressing to its central theorems and proofs. The text makes intelligent and well-researched connections between combinatory logic and lambda calculi and presents models and applications to illustrate these connections.

About Katalin Bimbo

Katalin Bimbo is an assistant professor in the Department of Philosophy at the University of Alberta in Edmonton, Canada.

More from this author