Combinators, -Terms and Proof Theory (Synthese Library)
Foundational text on combinators, terms, and proof theory within mathematical logic. Provides structural insights for formal reasoning and theory development. Customer note mentions interest in rigorous logic topics
Highlights
- core logic topics
- proof-theoretic approach
- synthese library reference
Pros
- focused topic in mathematical logic
- clear scope of combinators and proof theory
- suitable for study and reference
Cons
- n/a
- n/a
- n/a
