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.
Algebraic methods of mathematical logic / Ladislav Rieger
| Algebraic methods of mathematical logic / Ladislav Rieger |
| Autore | Rieger, Ladislav |
| Pubbl/distr/stampa | New York [etc.] : Academic Press, 1967 |
| Descrizione fisica | 210 p. ; 25 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001053050403321 |
Rieger, Ladislav
|
||
| New York [etc.] : Academic Press, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithmic complexity and communication problems / J.-P. Barthelemy, G. Cohen, A. Lobstein ; translated by Catherine Fritsch-Mignotte and Maurice Mignotte
| Algorithmic complexity and communication problems / J.-P. Barthelemy, G. Cohen, A. Lobstein ; translated by Catherine Fritsch-Mignotte and Maurice Mignotte |
| Autore | Barthélemy, Jean-Pierre |
| Pubbl/distr/stampa | London : UCL Press, 1996 |
| Descrizione fisica | xix, 256 p. ; 25 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 1-85728-451-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001355250403321 |
|
Barthélemy, Jean-Pierre
|
||
| London : UCL Press, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithms and recursive functions / A.I. Mal'cev ; translated from the first Russian edition by Leo F. Boron ; with the collabration of Luis E. Sanchis, John Stillwell and Kiyoshi Iséki
| Algorithms and recursive functions / A.I. Mal'cev ; translated from the first Russian edition by Leo F. Boron ; with the collabration of Luis E. Sanchis, John Stillwell and Kiyoshi Iséki |
| Autore | Mal'cev, Anatolii Ivanovic |
| Pubbl/distr/stampa | Groningen : Wolters-Noordhoff, 1970 |
| Descrizione fisica | 372 p. ; 23 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 90-01-57070-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001029330403321 |
|
Mal'cev, Anatolii Ivanovic
|
||
| Groningen : Wolters-Noordhoff, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Alle origini della nuova logica : Carteggio scientifico con Hilbert Husserl, Peano Russell Vailati [et al.] ; A cura di G. Gabriel [et al.] / Gottlob Frege
| Alle origini della nuova logica : Carteggio scientifico con Hilbert Husserl, Peano Russell Vailati [et al.] ; A cura di G. Gabriel [et al.] / Gottlob Frege |
| Autore | Frege, Gottlob <1848-1925> |
| Pubbl/distr/stampa | Torino : Boringhieri, c1983 |
| Descrizione fisica | XXXI, 288 p. ; 22 cm |
| Disciplina | 160 |
| Collana | Lectio |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990004017200403321 |
|
Frege, Gottlob <1848-1925>
|
||
| Torino : Boringhieri, c1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Alle origini della nuova logica : carteggio scientifico con Hilbert Husserl Peano, Russell Vailati [e altri] / Gottlob Frege ; a cura di G. Gabriel ; H. Hermes ; F. Kambartel... [et al. ]
| Alle origini della nuova logica : carteggio scientifico con Hilbert Husserl Peano, Russell Vailati [e altri] / Gottlob Frege ; a cura di G. Gabriel ; H. Hermes ; F. Kambartel... [et al. ] |
| Autore | Frege, Gottlob <1848-1925> |
| Pubbl/distr/stampa | Torino : Boringhieri, c1983 |
| Descrizione fisica | XXVI, 288 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Lectio |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990005684830403321 |
|
Frege, Gottlob <1848-1925>
|
||
| Torino : Boringhieri, c1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An interpretation of the logic of Hegel / Errol E. Harris
| An interpretation of the logic of Hegel / Errol E. Harris |
| Autore | HARRIS, Errol E. |
| Pubbl/distr/stampa | Lanham : University Press of America, c1983 |
| Descrizione fisica | XIII,3 46 p. ; 23 cm. |
| Disciplina | 160 |
| Soggetto topico | Hegel, Georg Wilhelm Friedrich. Wissenschaft der Logik |
| Formato | Grafica  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990005717480203316 |
|
HARRIS, Errol E.
|
||
| Lanham : University Press of America, c1983 | ||
| Grafica | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
An introduction to logic and scientific method / by Morris R. Cohen and Ernest Nagel
| An introduction to logic and scientific method / by Morris R. Cohen and Ernest Nagel |
| Autore | COHEN, Morris R. |
| Pubbl/distr/stampa | London : Routledge & Kegan, 1963 |
| Descrizione fisica | XIV, 467 p. ; 22 cm. |
| Disciplina | 160 |
| Altri autori (Persone) | NAGEL, Ernest |
| Soggetto topico | Logica matematica |
| Formato | Grafica |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990005598370203316 |
|
COHEN, Morris R.
|
||
| London : Routledge & Kegan, 1963 | ||
| Grafica | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
An algebraic introduction to mathematical logic / Donald W. Barnes, John M. Mack
| An algebraic introduction to mathematical logic / Donald W. Barnes, John M. Mack |
| Autore | Barnes, Donald W. |
| Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, 1975 |
| Descrizione fisica | viii, 121 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Graduate texts in mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-387-90109-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000957500403321 |
|
Barnes, Donald W.
|
||
| New York [etc.] : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An essay in deontic logic and the general theory of action / by Georg Henrik von Wright
| An essay in deontic logic and the general theory of action / by Georg Henrik von Wright |
| Autore | Wright, Georg Henrik von <1916-2003> |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1968 |
| Descrizione fisica | 110 p. ; 25 cm |
| Disciplina | 160 |
| Collana | Acta philosophica fennica |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001074740403321 |
|
Wright, Georg Henrik von <1916-2003>
|
||
| Amsterdam : North-Holland, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An Essay in Modal Logic / Georg H. von Wright
| An Essay in Modal Logic / Georg H. von Wright |
| Autore | Wright, Georg Henrik von <1916-2003> |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1951 |
| Descrizione fisica | VI p. ; 22 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001074730403321 |
|
Wright, Georg Henrik von <1916-2003>
|
||
| Amsterdam : North-Holland, 1951 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
