Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction

Introduction to Lambda Calculus

۴۹٬۰۰۰ تومان

Introduction to Lambda calculus

۴۹٬۰۰۰ تومان

An introduction to lambda calculus

۴۹٬۰۰۰ تومان

[Lambda]-calculus and combinators: an introduction

۴۹٬۰۰۰ تومان

[Lambda]-calculus and combinators: an introduction

۴۹٬۰۰۰ تومان

The λ-calculus (lambda calculus)

۴۹٬۰۰۰ تومان

Limits of Computation : An Introduction to the Undecidable and the Intractable

۴۹٬۰۰۰ تومان

Abstract Computing Machines : A Lambda Calculus Perspective

۴۹٬۰۰۰ تومان

Appendix S1: G ̈odel’s Consistency-Proof for Arithmetic (supplement to "Lambda-Calculus and Combinators, an Introduction")

۴۹٬۰۰۰ تومان

Introduction to advanced complex calculus

۴۹٬۰۰۰ تومان

An introduction to advanced complex calculus,

۴۹٬۰۰۰ تومان

An Introduction to Functional Programming Through Lambda Calculus (International Computer Science Series)

۴۹٬۰۰۰ تومان