BiblioToscana - The lambda calculus

testo

Titolo: The lambda calculus

Autore principale: Barendregt, Hendrik Pieter

Numero di pubblicazioni per pagina:

The lambda calculus
Barendregt, Hendrik Pieter Amsterdam ; New York ; Oxford : North-Holland, c1981
Serie: Studies in logic and the foundations of mathematics ; 103
The lambda calculus
Barendregt, Hendrik Pieter Amsterdam : North-Holland, 1984
Serie: Studies in logic and the foundations of mathematics
The lambda calculus
Barendregt, Hendrik Pieter Amsterdam etc. : North Holland, 1985

Record aggiornato il: 2021-09-09T14:07:25.443Z