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.
Corso di logica / Dario Palladino : introduzione elementare al calcolo dei predicati
Corso di logica / Dario Palladino : introduzione elementare al calcolo dei predicati
Autore Palladino, Dario
Pubbl/distr/stampa Roma : Carocci, c2002
Descrizione fisica 311 p. : ill. ; 24 cm
Disciplina 004
Collana Manuali universitari. 4
Soggetto non controllato Informatica
Logica matematica
ISBN 88-430-2312-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990007967940403321
Palladino, Dario  
Roma : Carocci, c2002
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Cos'e la logica matematica : filosofia della logica / Gabriele Lolli
Cos'e la logica matematica : filosofia della logica / Gabriele Lolli
Autore LOLLI, Gabriele
Pubbl/distr/stampa Padova : Franco Muzzio, 1992
Descrizione fisica VI, 161 p. ; 21 cm
Disciplina 511.3
Collana Muzzio scienze
Soggetto non controllato Logica matematica
ISBN 88-7021-612-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Altri titoli varianti filosofia della logica
Record Nr. UNISA-990000842640203316
LOLLI, Gabriele  
Padova : Franco Muzzio, 1992
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Descriptive set theory / Yiannis N. Moschovakis
Descriptive set theory / Yiannis N. Moschovakis
Autore Moschovakis, Yiannis N.
Edizione [2. ed.]
Pubbl/distr/stampa Providence : American Mathematical society, c2009
Descrizione fisica XIV, 502 p. : ill. ; 26 cm
Disciplina 511.3
Collana Mathematical surveys and monographs
Soggetto non controllato Teoria descrittiva degli insiemi
Logica matematica
Principi di determinatezza
ISBN 978-0-8218-4813-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009096820403321
Moschovakis, Yiannis N.  
Providence : American Mathematical society, c2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Dimostrazioni e confutazioni : la logica della scoperta matematica / Imre Lakatos ; a cura di John Worrall e Elie Zahar ; introduzione all'edizione italiana di Giulio Giorello ; traduzione dall'inglese di Daniela Benelli
Dimostrazioni e confutazioni : la logica della scoperta matematica / Imre Lakatos ; a cura di John Worrall e Elie Zahar ; introduzione all'edizione italiana di Giulio Giorello ; traduzione dall'inglese di Daniela Benelli
Autore Lakatos, Imre
Pubbl/distr/stampa Milano : Feltrinelli, 1979
Descrizione fisica 530 p. : ill. ; 23 cm
Disciplina 501
Collana Filosofia della scienza
Soggetto non controllato Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNIPARTHENOPE-000015779
Lakatos, Imre  
Milano : Feltrinelli, 1979
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
Divertimento geometrico : le origini geometriche della logica da Euclide a Hilbert / Piergiorgio Odifreddi
Divertimento geometrico : le origini geometriche della logica da Euclide a Hilbert / Piergiorgio Odifreddi
Autore Odifreddi, Piergiorgio <1950- >
Pubbl/distr/stampa Torino : Bollati Boringhieri, ©2003
Descrizione fisica 271 p. ; 22 cm
Disciplina 511.3
Collana Nuova didattica, Scienze
Soggetto non controllato Logica matematica
ISBN 88-339-5714-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990009097650403321
Odifreddi, Piergiorgio <1950- >  
Torino : Bollati Boringhieri, ©2003
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
DNA Computing : new computing paradigms / G. Paun, G. Rozenberg, A. Salomaa
DNA Computing : new computing paradigms / G. Paun, G. Rozenberg, A. Salomaa
Autore Paun, Gheorghe
Pubbl/distr/stampa Berlin [etc.] : Springer, c1998
Descrizione fisica IX, 402 p. : ill. ; 24 cm
Disciplina 511.3
Collana Texts in Theoretical Computer Science
Soggetto non controllato Cibernetica
Logica matematica
Logica simbolica
Teoria dei giochi
Teoria degli automi
Intelligenza artificiale
ISBN 3-540-64196-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001483350403321
Paun, Gheorghe
Berlin [etc.] : Springer, c1998
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Elementary induction on abstract structures / Yiannis N. Moschovakis
Elementary induction on abstract structures / Yiannis N. Moschovakis
Autore Moskobaches, Nikolaos Giannes
Pubbl/distr/stampa Amsterdam : North-Holland, 1974
Descrizione fisica X, 218 p. ; 23 cm
Disciplina 511.2
Collana Studies in logic and the foundations of mathematics
Soggetto non controllato Logica matematica
ISBN 0-7204-2280-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNIPARTHENOPE-000018853
Moskobaches, Nikolaos Giannes  
Amsterdam : North-Holland, 1974
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
Elementi di logica : con gli esercizi risolti / E. J. Lemmon ; a cura di Fabrizio Funtò e Massimo Prampolini
Elementi di logica : con gli esercizi risolti / E. J. Lemmon ; a cura di Fabrizio Funtò e Massimo Prampolini
Autore Lemmon, Edward John
Pubbl/distr/stampa Bari : Laterza, c1986
Disciplina 511.3
Soggetto non controllato Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990001231670403321
Lemmon, Edward John  
Bari : Laterza, c1986
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Elementi di logica / E. J. Lemmon
Elementi di logica / E. J. Lemmon
Autore Lemmon, Edward J.
Pubbl/distr/stampa Roma : Laterza, 1975
Descrizione fisica XI, 254 p. ; 21 cm
Disciplina 511.3
Collana Biblioteca di cultura moderna
Soggetto non controllato Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNIPARTHENOPE-000018839
Lemmon, Edward J.  
Roma : Laterza, 1975
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
Elementi di logica matematica / Bruno D'Amore
Elementi di logica matematica / Bruno D'Amore
Autore D'Amore, Bruno <1946- >
Pubbl/distr/stampa Bologna : Pitagora, [1975]
Descrizione fisica 97 p. ; 24 cm
Disciplina 511.3
Soggetto non controllato Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990001498030403321
D'Amore, Bruno <1946- >  
Bologna : Pitagora, [1975]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui