Lambda-Calculus and Combinators: An Introduction

Lambda-Calculus and Combinators: An Introduction

Lambda-Calculus and Combinators : An Introduction

Introduction to Combinators and (lambda) Calculus (London Mathematical Society Student Texts, Series Number 1)

Combinatorial Methods in Discrete Mathematics

Combinatory Logic; 1 (Paperback)

Advances in Logic Programming Theory

Mathematical Logic A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Lecture Notes in Computer Science Logic of Computation Book 157 (Hardcover)

An Invitation to Combinatorics (Cambridge Mathematical Textbooks)

Logic and Discrete Mathematics A Concise Introduction, Solutions Manual

Bundle: Single Variable Calculus, Volume 1, 8th + WebAssign Printed Access Card for Stewart's Calculus, 8th Edition, Multi-Term

logic and discrete mathematics a concise introduction

Logic and Discrete Mathematics A Concise Introduction

ART OF REASONING: MODERN & FORMAL LOGIC ED

Combinatorial Algorithms: Enlarged Second Edition (Dover Books on Computer Science)

Logic Colloquium '99: Lecture Notes in Logic 17

Mathematica Companion for Finite Mathematics and Business Calculus

Mathematica Companion for Finite Mathematics and Business Calculus

Essential Calculus with Applications

Regular Algebra and Finite Machines

Sets, Logic and Maths for Computing

Finite Mathematics and Calculus with Applications Books a la carte Edi

Bundle: Calculus

Finite Mathematics and Calculus with Applications Books a la carte Edition

The Lambda Calculus: Its Syntax and Semantics Studies in Logic and the Foundations of Mathematics

Mathematical Logic A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Discrete Mathematics : Applied Algebra for Computer and Information Science [first edition]

Logic and Boolean Algebra

The Art of Computer Programming, Fascicle 0: Introduction to Combinatorial Algorithms and Boolean Functions

Discrete Mathematics with Ducks

Calculus with Applications and Computing

Discrete Mathematics and Its Applications

Logic for Mathematicians

Applied Calculus