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.
Consequentia mirabilis : una regola logica tra matematica e filosofia / Fabio Bellissima, Paolo Pagli
Consequentia mirabilis : una regola logica tra matematica e filosofia / Fabio Bellissima, Paolo Pagli
Autore BELLISSIMA, Fabio
Pubbl/distr/stampa Firenze : Olschki, 1996
Descrizione fisica 231 p. ; 24 cm
Disciplina 121.65
Altri autori (Persone) PAGLI, Paolo
Collana Biblioteca di storia della scienza
Soggetto topico Dimostrazione
ISBN 88-222-4381-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990005891160203316
BELLISSIMA, Fabio  
Firenze : Olschki, 1996
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Il teorema di Gödel : una messa a fuoco / [a cura di] S. G. Shanker ; [trad e cura di Paolo Pagli]
Il teorema di Gödel : una messa a fuoco / [a cura di] S. G. Shanker ; [trad e cura di Paolo Pagli]
Edizione [Padova : Muzzio]
Descrizione fisica Trad. di: Gödel's theorem in focus
Disciplina 511.3
Collana Muzzio scienze
Soggetto topico Teorema di incompletezza di Gödel
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990005603070203316
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Il sogno di Cartesio : il mondo secondo la matematica / Philip J. Davis, Reuben Hersh ; traduzione di Paolo Pagli
Il sogno di Cartesio : il mondo secondo la matematica / Philip J. Davis, Reuben Hersh ; traduzione di Paolo Pagli
Autore DAVIS, Philip J.
Pubbl/distr/stampa Milano : Edizioni di comunità, 1988
Descrizione fisica XIC, 336 p. : ill. ; 21 cm
Disciplina 519.
Altri autori (Persone) HERSH, Reuben
Collana Società
Soggetto topico Matematica applicata - Studi
ISBN 88-245-0428-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990000516620203316
DAVIS, Philip J.  
Milano : Edizioni di comunità, 1988
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Logica dimostrativa / Girolamo Saccheri ; a cura di Paolo Pagli e Corrado Mangione
Logica dimostrativa / Girolamo Saccheri ; a cura di Paolo Pagli e Corrado Mangione
Autore SACCHERI, Girolamo
Pubbl/distr/stampa Milano : Bompiani, 2011
Descrizione fisica 740 p. ; 22 cm
Disciplina 160
Collana Bompiani Il pensiero occidentale
ISBN 978-88-452-6726-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990003581990203316
SACCHERI, Girolamo  
Milano : Bompiani, 2011
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Temi fondamentali della logica moderna / David C. Makinson ; [trad. di Paolo Pagli]
Temi fondamentali della logica moderna / David C. Makinson ; [trad. di Paolo Pagli]
Autore MAKINSON, David C.
Edizione [Torino : Boringhieri]
Descrizione fisica Trad. di: Topics in modern logic
Disciplina 160
Collana Universale scientifica
Soggetto topico Logica - Sec. 20
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990005612140203316
MAKINSON, David C.  
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui