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.
9 lezioni di logica : la logica nel suo sviluppo storico e concettuale / E. Ballo... et al.
| 9 lezioni di logica : la logica nel suo sviluppo storico e concettuale / E. Ballo... et al. |
| Pubbl/distr/stampa | Padova : F. Muzzio, c1990 |
| Descrizione fisica | 194 p ; 21 cm |
| Disciplina | 511.3 |
| Collana | Muzzio scienze |
| Soggetto topico | Logica matematica |
| ISBN | 88-7021-524-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000843070203316 |
| Padova : F. Muzzio, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Enumerabilita, decidibilita, computabilita : introduzione alla teoria delle funzioni ricorsive / Hans Hermes
| Enumerabilita, decidibilita, computabilita : introduzione alla teoria delle funzioni ricorsive / Hans Hermes |
| Autore | HERMES, Hans |
| Pubbl/distr/stampa | Torino : Boringhieri, 1975 |
| Descrizione fisica | 318 p. ; 24 cm |
| Collana | Testi e manuali della scienza contemporanea.. 5, Serie di logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990001660800203316 |
HERMES, Hans
|
||
| Torino : Boringhieri, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Enumerabilità, decidibilità, computabilità : introduzione alla teoria delle decisioni ricorsive / Hans Hermes ; [trad. di Edoardo Ballo]
| Enumerabilità, decidibilità, computabilità : introduzione alla teoria delle decisioni ricorsive / Hans Hermes ; [trad. di Edoardo Ballo] |
| Autore | HERMES, Hans |
| Pubbl/distr/stampa | Torino, : Boringhieri, 1975 |
| Descrizione fisica | 318 p. ; 21 cm |
| Disciplina | 511.35 |
| Collana | Testi e manuali della scienza contemporanea. Serie di logica matematica |
| Soggetto topico | Funzioni ricorsive |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990005603580203316 |
|
HERMES, Hans
|
||
| Torino, : Boringhieri, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduzione alla logica : e alla metodologia delle scienze deduttive / Alfred Tarski ; [trad. di Edoardo Ballo e Silvio Bozzi]
| Introduzione alla logica : e alla metodologia delle scienze deduttive / Alfred Tarski ; [trad. di Edoardo Ballo e Silvio Bozzi] |
| Autore | TARSKI, Alfred |
| Pubbl/distr/stampa | Milano, : Bompiani, 1969 |
| Descrizione fisica | 302 p. ; 22 cm |
| Disciplina | 511.3 |
| Collana | Idee nuove |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990005599790203316 |
|
TARSKI, Alfred
|
||
| Milano, : Bompiani, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduzione alla logica e alla metodologia delle scienze deduttive / Alfred Tarski
| Introduzione alla logica e alla metodologia delle scienze deduttive / Alfred Tarski |
| Autore | TARSKI, Alfred |
| Edizione | [2. ed.] |
| Pubbl/distr/stampa | Milano : Bompiani, 1978 |
| Descrizione fisica | 302 p. ; 22 cm. |
| Disciplina | 511.3 |
| Collana | Idee nuove |
| Soggetto topico | Logica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990002849000203316 |
|
TARSKI, Alfred
|
||
| Milano : Bompiani, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduzione alla logica e alla metodologia delle scienze deduttive / Alfred Tarski
| Introduzione alla logica e alla metodologia delle scienze deduttive / Alfred Tarski |
| Autore | TARSKI, Alfred |
| Pubbl/distr/stampa | Milano : Bompiani, 1969 |
| Descrizione fisica | 302 p. ; 22 cm. |
| Collana | Idee nuove |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990001962990203316 |
|
TARSKI, Alfred
|
||
| Milano : Bompiani, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||