1 : Logica / cur. V. Michele Abrusci ; Ettore Casari |
Pubbl/distr/stampa | Bologna, : CLUEB, 1986 |
Descrizione fisica | XIV, 219 p. ; 24 cm |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISOB-E600200061419 |
Bologna, : CLUEB, 1986 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Suor Orsola Benincasa | ||
|
Aspects of mathematical logic : III ciclo Varenna, 9-17 Settembre 1968 / coordinatore E. Casari |
Autore | Casari, Ettore |
Pubbl/distr/stampa | Roma : Edizioni Cremonese, 1969 |
Descrizione fisica | 285 p. ; 28 cm. |
Disciplina | 511.3 |
Soggetto topico | Symbolic logic - Congresses |
Classificazione | AMS 03-06 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000700239707536 |
Casari, Ettore | ||
Roma : Edizioni Cremonese, 1969 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Aspects of mathematical logic : 3. ciclo / coordinatore E. Casari ; Centro internazionale matematico estivo : Varenna, 9-17 settembre 1968 |
Autore | Centro internazionale matematico estivo |
Pubbl/distr/stampa | Roma : Cremonese, 1969 |
Descrizione fisica | 285 p. ; 28 cm |
Disciplina | 511.3 |
Soggetto non controllato | Logica matematica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNIPARTHENOPE-000018886 |
Centro internazionale matematico estivo | ||
Roma : Cremonese, 1969 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Parthenope | ||
|
Atti del Convegno internazionale di storia della logica : San Gimignano, 4-8 dicembre 1982 / organizzato dalla Societa italiana di logica e filosofia delle scienze (SILF) ; a cura di V. M. Abrusci, E. Casari, M. Mugnai |
Autore | *Convegno internazionale di storia della logica ; 1982 ; San Gimignano |
Pubbl/distr/stampa | Bologna, : CLUEB, 1983 |
Descrizione fisica | X, 401 p. ; 24 cm |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISOB-E600200064135 |
*Convegno internazionale di storia della logica ; 1982 ; San Gimignano | ||
Bologna, : CLUEB, 1983 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Suor Orsola Benincasa | ||
|
Atti del convegno internazionale di storia della logica : San Gimignano, 4-8 dicembre 1982 / organizzato dalla Società italiana di Logica e Filosofia delle scienze (SILFS) ; a cura di V. M. Abrusci, E. Casari, M. Mugnai |
Autore | Abrusci, Vito Michele |
Pubbl/distr/stampa | Bologna : Cooperativa libraria universitaria editrice Bologna, 1983 |
Descrizione fisica | X, 401 p. ; 24 cm |
Disciplina | 160 |
Altri autori (Persone) |
Casari, Ettore
Mugnai, Massimo |
Soggetto non controllato | Logica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990008401640403321 |
Abrusci, Vito Michele | ||
Bologna : Cooperativa libraria universitaria editrice Bologna, 1983 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computabilità e ricorsività / Ettore Casari |
Autore | Casari, Ettore |
Pubbl/distr/stampa | Milano : Scuola di Studi Superiori sugli Idrocarburi, 1959 |
Descrizione fisica | 107 p. ; 21 cm |
Disciplina | 511.3 |
Soggetto non controllato | Logica e fondamenti |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990002576620403321 |
Casari, Ettore | ||
Milano : Scuola di Studi Superiori sugli Idrocarburi, 1959 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computabilità e ricorsività : Problemi di logica matematica / di Casari Ettore |
Autore | Casari, Ettore |
Pubbl/distr/stampa | Varese : Soc. Tip. "Multa Paucis", 1959 |
Collana | Quaderni della scuola studi Superiori sugli Idrocarburi dell'E.N.I. |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001169100403321 |
Casari, Ettore | ||
Varese : Soc. Tip. "Multa Paucis", 1959 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Dalla logica alla metalogica : scritti fondamentali di logica matematica / a cura di Ettore Casari |
Pubbl/distr/stampa | Firenze : Sansoni, c1979 |
Descrizione fisica | 269 p. ; 24 cm |
Disciplina |
160
511.3 |
Collana | Manuali Sansoni |
Soggetto non controllato |
Logica
Ricorsività |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990004108870403321 |
Firenze : Sansoni, c1979 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
La filosofia della matematica del '900 / Ettore Casari |
Autore | Casari, Ettore |
Pubbl/distr/stampa | Firenze : Sansoni, 1973 |
Descrizione fisica | 98 p. ; 18 cm. |
Disciplina | 510 |
Collana | Scuola aperta. Scienze umane |
Soggetto topico | Matematica - Filosofia |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991002983659707536 |
Casari, Ettore | ||
Firenze : Sansoni, 1973 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
La filosofia della matematica del 900 / Ettore Casari |
Autore | Casari, Ettore |
Pubbl/distr/stampa | Firenze : Sansoni, 1973 |
Descrizione fisica | 98 p. ; 18 cm. |
Disciplina | 510 |
Collana | Scuola aperta ; 16 |
Soggetto topico | Matematica - Filosofia |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991002983729707536 |
Casari, Ettore | ||
Firenze : Sansoni, 1973 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|