Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Combinatory logic / Haskell B. Curry ... [et al.]
| Combinatory logic / Haskell B. Curry ... [et al.] |
| Autore | Curry, Haskell B. |
| Pubbl/distr/stampa | Amsterdam, : North-Holland, 1958-1972 |
| Descrizione fisica | 2 v. ; 23 cm |
| Disciplina |
160
511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica
Ricorsività Logica combinatoria Logica e fondamenti |
| ISBN | 0-7204-2208-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000980060403321 |
Curry, Haskell B.
|
||
| Amsterdam, : North-Holland, 1958-1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logique combinatoire / Jean Lagasse ; avec la collaboration de M. courvoisier et J.-P. Richard
| Logique combinatoire / Jean Lagasse ; avec la collaboration de M. courvoisier et J.-P. Richard |
| Autore | Lagasse, Jean |
| Edizione | [3e ed.] |
| Pubbl/distr/stampa | Paris : Dunod, 1976 |
| Descrizione fisica | 73 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Dunod Université, serie electronique, electrotechnique, automatique |
| Soggetto non controllato | Logica combinatoria |
| ISBN | 2-04-000147-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-990000452920403321 |
|
Lagasse, Jean
|
||
| Paris : Dunod, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||