headerdesktop cve26iun25

MAI SUNT 00:00:00:00

MAI SUNT

X
headermobile cve26iun25

MAI SUNT 00:00:00:00

MAI SUNT

X

Promotii popup img

🍉Curtea Veche -20% -30%

DOAR AZI⏰

Alege-ți lecturile de vară,

Răsfoiește și comandă!
✕

phone 0371.781.781

Lambda-Calculus and Combinators: An Introduction

De (autor): J. Roger Hindley

review Goodreads
Lambda-Calculus and Combinators: An Introduction - J. Roger Hindley

Lambda-Calculus and Combinators: An Introduction

De (autor): J. Roger Hindley

review Goodreads
This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.
Citeste mai mult

-10%

transport gratuit

PRP: 790.50 Lei

!

Acesta este Pretul Recomandat de Producator. Pretul de vanzare al produsului este afisat mai jos.

711.45Lei

711.45Lei

790.50 Lei

Primesti 711 puncte

Important icon msg

Primesti puncte de fidelitate dupa fiecare comanda! 100 puncte de fidelitate reprezinta 1 leu. Foloseste-le la viitoarele achizitii!

Livrare in 2-4 saptamani

Adauga in cos cart icon

Descrierea produsului

This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.
Citeste mai mult

Detaliile produsului

S-ar putea sa-ti placa si

Parerea ta e inspiratie pentru comunitatea Libris!

Istoricul tau de navigare

Acum se comanda

Noi suntem despre carti, si la fel este si

Newsletter-ul nostru.

Aboneaza-te la vestile literare si primesti un cupon de -10% pentru viitoarea ta comanda!

*Reducerea aplicata prin cupon nu se cumuleaza, ci se aplica reducerea cea mai mare.

Ma abonez image one
Ma abonez image one