1.

Record Nr.

UNINA990001227330403321

Autore

Lambek, Joachim

Titolo

Introduction to higher order categorial logic / by LAMBEK J. SCOTT P. J.

Pubbl/distr/stampa

Cambridge [etc.] : Cambridge University Press, 1989

Collana

Cambridge studies in advanced mathematics ; 7

Locazione

MA1

Collocazione

C-43-(7

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia