top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Algebraic logic / by Paul R. Halmos
Algebraic logic / by Paul R. Halmos
Autore Halmos, Paul Richard
Pubbl/distr/stampa New York : Chelsea, 1962
Descrizione fisica 271 p. ; 24 cm
Disciplina 160
Soggetto non controllato Logica
Ricorsività
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001002060403321
Halmos, Paul Richard  
New York : Chelsea, 1962
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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 Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990005717480203316
HARRIS, Errol E.  
Lanham : University Press of America, c1983
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
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 Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990005598370203316
COHEN, Morris R.  
London : Routledge & Kegan, 1963
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...