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.
I fondamenti logici della matematica / Evert Beth ; a cura di Ettore Casari
| I fondamenti logici della matematica / Evert Beth ; a cura di Ettore Casari |
| Autore | Beth, Evert Willem |
| Pubbl/distr/stampa | Milano : Feltrinelli, 1963 |
| Descrizione fisica | 335 p. ; 22 cm |
| Disciplina | 164 |
| Altri autori (Persone) | Casari, Ettore |
| Collana | Filosofia della scienza ; 5 |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991003018409707536 |
Beth, Evert Willem
|
||
| Milano : Feltrinelli, 1963 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Formal methods : an introdution to symbolic logic and to the study of effective operations in aritmetic and logic / Evert Willem Beth
| Formal methods : an introdution to symbolic logic and to the study of effective operations in aritmetic and logic / Evert Willem Beth |
| Autore | Beth, Evert Willem |
| Pubbl/distr/stampa | Dordrecht : Reidel, 1962 |
| Descrizione fisica | XIV, 170 p. ; 22 cm |
| Disciplina | 164 |
| Collana | Synthese library |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991003026839707536 |
|
Beth, Evert Willem
|
||
| Dordrecht : Reidel, 1962 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Fundamentals of symbolic logic / Alice Ambrose, Morris Lazerowitz
| Fundamentals of symbolic logic / Alice Ambrose, Morris Lazerowitz |
| Autore | Ambrose, Alice |
| Edizione | [Rev. ed.] |
| Pubbl/distr/stampa | New York : Holt, Rinehart and Wiston, 1962 |
| Descrizione fisica | 328 p. : ill. ; 22 cm |
| Disciplina | 164 |
| Altri autori (Persone) | Lazerowitz, Morris author |
| Soggetto topico | Logica simbolica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991003062889707536 |
|
Ambrose, Alice
|
||
| New York : Holt, Rinehart and Wiston, 1962 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Il problema della fallacia naturalistica : la derivazione del dover essere dall'essere / Gaetano Carcaterra
| Il problema della fallacia naturalistica : la derivazione del dover essere dall'essere / Gaetano Carcaterra |
| Autore | CARCATERRA, Gaetano |
| Pubbl/distr/stampa | Milano : Giuffré, 1969 |
| Descrizione fisica | XV, 704 p. ; 24 cm |
| Disciplina | 164 |
| Collana | Pubblicazioni dell'Istituto di Filosofia del Diritto, dell'Università di Roma. 3. ser. |
| Soggetto topico | Fallacia naturalistica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990002079380203316 |
|
CARCATERRA, Gaetano
|
||
| Milano : Giuffré, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduction to mathematical logic / Elliott Mendelson
| Introduction to mathematical logic / Elliott Mendelson |
| Autore | Mendelson, Elliott |
| Pubbl/distr/stampa | Princeton [N.J.] : Van Nostrand, 1964 |
| Descrizione fisica | 300 p. : ill. ; 24 cm |
| Disciplina | 164 |
| Collana | The university series in undergraduate mathematics |
| Soggetto non controllato | Logica, simbolica e matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001184000403321 |
|
Mendelson, Elliott
|
||
| Princeton [N.J.] : Van Nostrand, 1964 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduzione ai problemi dell'assiomatica / Evandro Agazzi
| Introduzione ai problemi dell'assiomatica / Evandro Agazzi |
| Autore | Agazzi, Evandro <1934- > |
| Pubbl/distr/stampa | Milano : Vita e pensiero, c1961 |
| Descrizione fisica | XVI, 266 p. ; 24 cm |
| Disciplina | 164 |
| Collana | Pubblicazioni dell'Università cattolica del Sacro Cuore. Ser. 1., Scienze filosofiche |
| Soggetto non controllato |
Logica matematica
Logica simbolica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990004096930403321 |
|
Agazzi, Evandro <1934- >
|
||
| Milano : Vita e pensiero, c1961 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduzione ai problemi dell'assiomatica / Evandro Agazzi
| Introduzione ai problemi dell'assiomatica / Evandro Agazzi |
| Autore | Agazzi, Evandro |
| Pubbl/distr/stampa | Milano : Vita e pensiero, 1961 |
| Descrizione fisica | XV, 262 p. ; 24 cm |
| Disciplina | 164 |
| Collana | Pubblicazioni dell'Università cattolica del Sacro Cuore. contributi, ser. 3. Scienze filosofiche ; 4 |
| Soggetto topico | Assiomatica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991003350009707536 |
|
Agazzi, Evandro
|
||
| Milano : Vita e pensiero, 1961 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Introduzione alla filosofia matematica / Bertrand Russell ; introd. di Flavio Manieri ; [trad. di Enrico Carone]
| Introduzione alla filosofia matematica / Bertrand Russell ; introd. di Flavio Manieri ; [trad. di Enrico Carone] |
| Autore | RUSSELL, Bertrand |
| Pubbl/distr/stampa | Roma : Newton Compton italiana, 1973 |
| Descrizione fisica | 240 p. ; 19 cm |
| Disciplina | 164 |
| Collana | Paperbacks saggi |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990001868020203316 |
|
RUSSELL, Bertrand
|
||
| Roma : Newton Compton italiana, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Introduzione alla logica dei sistemi normativi / Giuliano Di Bernardo
| Introduzione alla logica dei sistemi normativi / Giuliano Di Bernardo |
| Autore | Di Bernardo, Giuliano |
| Pubbl/distr/stampa | Bologna : Il mulino, © 1972 |
| Descrizione fisica | 183 p. ; 22 cm |
| Disciplina | 164 |
| Collana | Quaderni della Rassegna italiana di sociologia |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990008108130403321 |
|
Di Bernardo, Giuliano
|
||
| Bologna : Il mulino, © 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduzione alla logica dei sistemi normativi / Giuliano Di Bernardo
| Introduzione alla logica dei sistemi normativi / Giuliano Di Bernardo |
| Autore | Di Bernardo, Giuliano |
| Pubbl/distr/stampa | Bologna : Il mulino, c1972 |
| Descrizione fisica | 183 p. ; 22 cm |
| Disciplina | 164 |
| Collana | Quaderni della Rassegna italiana di sociologia ; 5 |
| Soggetto topico |
Norme
Logica simbolica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000780639707536 |
|
Di Bernardo, Giuliano
|
||
| Bologna : Il mulino, c1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
