Torna Indietro

Introduzione alla logica combinatoria

Hindley, James Roger

Informazioni

Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

Introduzione alla logica combinatoria

Nomi

[Autore] Hindley, James Roger
[Autore] Seldin, Jonathan P.
[Autore] Lercher, Bruce
Azzarello, Ferdinando

Classe Dewey

511.3 LOGICA MATEMATICA, LOGICA SIMBOLICA

Soggetto BNI

Logica matematica

Descrizione

Introduzione alla logica combinatoria / J. R. Hindley, Bruce Lercher, J. P. Seldin

Descrizione Fisica

153 p. ; 21 cm

Note

Trad. F. Azzarello.

Numeri Standard

BNI: IT 77370

Data

1975

Luogo di pubblicazione

Torino

Paese

ITALIA

Lingua

ITALIANO

Titolo Opera

Introduction to combinatory logic. -

Fonte

Biblioteche SBN Sardegna

IT\ICCU\SBL\0586077

Link Risorse

http://id.sbn.it/bid/SBL0586077

Biblioteca del Distretto Tecnologico – sezione Ingegneria

Biblioteca Metropolitana di Cagliari Emilio Lussu

Biblioteca universitaria di Cagliari

Biblioteca del Distretto di scienze umane - sezione Giordano Bruno

Biblioteca universitaria di Sassari

Commenti

Carica altri

Scrivi un commento

Invia

Introduzione alla logica combinatoria

Tag

Per Aldo Rossi dieci anni dopo : disegni e modelli di opere e progetti dal 1964 al 1997 dell'archivio personale di Aldo Rossi dalle collezioni DARC-MAXXI

Il cavallo e il soldato

Lambda-calculus and combinators, an introduction

Combinatory logic. 2

A spasso con Daisy

Sotto massima copertura

Human touch

J. J. Johnson

Commenti

Regione Sardegna

Introduzione alla logica combinatoria

Tag

Per Aldo Rossi dieci anni dopo : disegni e modelli di opere e progetti dal 1964 al 1997 dell'archivio personale di Aldo Rossi dalle collezioni DARC-MAXXI

Il cavallo e il soldato

Lambda-calculus and combinators, an introduction

Combinatory logic. 2

A spasso con Daisy

Sotto massima copertura

Human touch

J. J. Johnson

Commenti