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.
The Technique of Theory Construction / by J.H. Woodger
| The Technique of Theory Construction / by J.H. Woodger |
| Autore | Woodger, Joseph Henry |
| Pubbl/distr/stampa | Chicago : University of Chicago Press, 1939 |
| Descrizione fisica | iii, 81 p. ; 24 cm |
| Disciplina | 160 |
| Collana | International Encyclopedia of Unified Science |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001078800403321 |
Woodger, Joseph Henry
|
||
| Chicago : University of Chicago Press, 1939 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Theory of Logical Types / by Irving M. Copi
| The Theory of Logical Types / by Irving M. Copi |
| Autore | Copi, Irving M. |
| Pubbl/distr/stampa | London : Routledge & Kegan Paul, 1971 |
| Descrizione fisica | x, 129 p. ; 18 cm |
| Disciplina | 160 |
| Collana | Monographs in Modern Logic Series |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-7100-7026-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000977960403321 |
|
Copi, Irving M.
|
||
| London : Routledge & Kegan Paul, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Theory of Models : Proceedings of the 1963 International Symposium at Berkeley / edited by J.W. Addison, Leon Henkin, Alfred Tarski
| The Theory of Models : Proceedings of the 1963 International Symposium at Berkeley / edited by J.W. Addison, Leon Henkin, Alfred Tarski |
| Autore | Addison, J. W. |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1965 |
| Descrizione fisica | XV, 494 p. ; 23 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000951170403321 |
|
Addison, J. W.
|
||
| Amsterdam : North-Holland, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Theory of Semisets / Petr Vopenka and Petr Hajek
| The Theory of Semisets / Petr Vopenka and Petr Hajek |
| Autore | Vopenka, Petr |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1972 |
| Descrizione fisica | 332 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato | Teoria degli insiemi |
| ISBN | 0-7204-2267-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001074770403321 |
|
Vopenka, Petr
|
||
| Amsterdam [etc.] : North-Holland, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Theory of Ultrafilters / W.W. Comfort, S. Negrepontis
| The Theory of Ultrafilters / W.W. Comfort, S. Negrepontis |
| Autore | Comfort, W.wistar |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1974 |
| Descrizione fisica | X, 482 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Die Grundlehren der mathematischen Wissenschaften |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 3-540-06604-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000976890403321 |
|
Comfort, W.wistar
|
||
| Berlin [etc.] : Springer-Verlag, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Undecidable : Basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis
| The Undecidable : Basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis |
| Autore | Davis, Martin <1928- > |
| Pubbl/distr/stampa | Hewlett : Raven Press, 1965 |
| Descrizione fisica | 440 p. ; 24 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000981100403321 |
|
Davis, Martin <1928- >
|
||
| Hewlett : Raven Press, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The unprovability of consistency : An Essay in Modal Logic / George Boolos
| The unprovability of consistency : An Essay in Modal Logic / George Boolos |
| Autore | Boolos, George |
| Pubbl/distr/stampa | London [etc.] : Cambridge University Press, 1979 |
| Descrizione fisica | viii, 184 p. ; 22 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-521-21879-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000964410403321 |
|
Boolos, George
|
||
| London [etc.] : Cambridge University Press, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The uses of argument / by Stephen Edelston Toulmin
| The uses of argument / by Stephen Edelston Toulmin |
| Autore | Toulmin, Stephen Edelston |
| Pubbl/distr/stampa | London : Cambridge University Press, 1964 |
| Descrizione fisica | VIII,264 p. ; 21 cm |
| Disciplina | 160 |
| Soggetto non controllato | Logica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990004097360403321 |
|
Toulmin, Stephen Edelston
|
||
| London : Cambridge University Press, 1964 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The varieties of reference / Gareth Evans ; edited by John McDowell
| The varieties of reference / Gareth Evans ; edited by John McDowell |
| Autore | Evans, Gareth |
| Pubbl/distr/stampa | Oxford : Clarendon Press |
| Descrizione fisica | XIII, 418 p. ; 22 cm. |
| Disciplina | 160 |
| Soggetto topico | Logica |
| ISBN | 0-19-824686-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000020708 |
|
Evans, Gareth
|
||
| Oxford : Clarendon Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
The ways of paradox and other essays / Willard van Orman
| The ways of paradox and other essays / Willard van Orman |
| Autore | QUINE, Willard van Orman |
| Pubbl/distr/stampa | New York : Random house, 1966 |
| Descrizione fisica | X, 258 p. |
| Disciplina | 160 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000461060203316 |
|
QUINE, Willard van Orman
|
||
| New York : Random house, 1966 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
