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.
Terminologia logica della tarda scolastica / Alfonso Maieru
| Terminologia logica della tarda scolastica / Alfonso Maieru |
| Autore | Maierù, Alfonso |
| Pubbl/distr/stampa | Roma : Edizioni dell'Ateneo, 1972 |
| Descrizione fisica | 687 p. ; 21 cm. |
| Disciplina | 160 |
| Collana | Lessico intellettuale europeo ; 8 |
| Soggetto topico | Logica - Terminologia |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000627919707536 |
Maierù, Alfonso
|
||
| Roma : Edizioni dell'Ateneo, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The coherence theory of truth / Nicholas Rescher
| The coherence theory of truth / Nicholas Rescher |
| Autore | RESCHER, Nicholas |
| Pubbl/distr/stampa | Oxford : at the Clarendon press, 1973 |
| Descrizione fisica | XIV, 374 p. ; 22 cm. |
| Disciplina | 160 |
| Collana | Clarendon library of logic and philosophy |
| Soggetto topico | Verità -- COERENTISMO |
| Formato | Grafica  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990005603500203316 |
|
RESCHER, Nicholas
|
||
| Oxford : at the Clarendon press, 1973 | ||
| Grafica | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The logic of empirical theories / Marian Przelecki
| The logic of empirical theories / Marian Przelecki |
| Autore | PRZELECKI, Marian |
| Pubbl/distr/stampa | London : Routledge & Kegan, 1969 |
| Descrizione fisica | 108 p. ; 18 cm. |
| Disciplina | 160 |
| Collana | Monographs in modern logic series |
| Soggetto topico | Empirismo logico |
| Formato | Grafica |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990005611530203316 |
|
PRZELECKI, Marian
|
||
| London : Routledge & Kegan, 1969 | ||
| Grafica | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The axiom of choice / Thomas J. Jech
| The axiom of choice / Thomas J. Jech |
| Autore | Jech, Thomas J. |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1973 |
| Descrizione fisica | XI, 202 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-7204-2275-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001013290403321 |
|
Jech, Thomas J.
|
||
| Amsterdam [etc.] : North-Holland, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Axiom of Constructibility : A guide for the mathematician / Keith J. Devlin
| The Axiom of Constructibility : A guide for the mathematician / Keith J. Devlin |
| Autore | Devlin, Keith J. |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1977 |
| Descrizione fisica | VIII, 95 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Lecture Notes in Mathematics |
| Soggetto non controllato | Teoria degli insiemi |
| ISBN | 3-540-08520-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000983310403321 |
|
Devlin, Keith J.
|
||
| Berlin [etc.] : Springer-Verlag, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Collected Papers of Gerhard Gentzen / edited by M.E. Szabo
| The Collected Papers of Gerhard Gentzen / edited by M.E. Szabo |
| Autore | Gentzen, Gerhard |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1969 |
| Descrizione fisica | xii, 338 p. ; 23 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-7204-2254-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001068010403321 |
|
Gentzen, Gerhard
|
||
| Amsterdam [etc.] : North-Holland, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Computational Complexity of Logical Theories / Jeanne Ferrante, Charles W. Rackoff
| The Computational Complexity of Logical Theories / Jeanne Ferrante, Charles W. Rackoff |
| Autore | Ferrante, Jeanne |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1979 |
| Descrizione fisica | V, 238 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Lecture Notes in Mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 3-540-09501-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000991930403321 |
|
Ferrante, Jeanne
|
||
| Berlin [etc.] : Springer-Verlag, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Consistency of the Axiom Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory / by Kurt Godel
| The Consistency of the Axiom Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory / by Kurt Godel |
| Autore | Gödel, Kurt |
| Edizione | [4th printing] |
| Pubbl/distr/stampa | Princeton [N.J.] : Princeton University Press, 1958, c1940 |
| Descrizione fisica | 68 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Annals of mathematics studies |
| Soggetto non controllato | Teoria degli insiemi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000999540403321 |
|
Gödel, Kurt
|
||
| Princeton [N.J.] : Princeton University Press, 1958, c1940 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The construction of logical space / Agustín Rayo
| The construction of logical space / Agustín Rayo |
| Autore | Rayo, Agustín |
| Pubbl/distr/stampa | Oxford : Oxford University Press, 2013 |
| Descrizione fisica | XIX, 220 p. ; 23 cm. |
| Disciplina | 160 |
| Soggetto topico | Logica |
| ISBN | 978-0-19-966262-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000040067 |
|
Rayo, Agustín
|
||
| Oxford : Oxford University Press, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
The development of logic / William Kneale and Martha Kneale
| The development of logic / William Kneale and Martha Kneale |
| Autore | KNEALE, William |
| Pubbl/distr/stampa | Oxford : Clarendo Press, 1962 |
| Descrizione fisica | VIII, 783 p. : ill. ; 21 cm |
| Disciplina | 160 |
| Altri autori (Persone) | KNEALE, Martha |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000459550203316 |
|
KNEALE, William
|
||
| Oxford : Clarendo Press, 1962 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
