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.

Biblioteca

MARC Lista (tabellare)
Automat und mensch : Auf dem weg zu einer kybernetischen anthropologie / Steinbuch K.
Automat und mensch : Auf dem weg zu einer kybernetischen anthropologie / Steinbuch K.
Autore STEINBUCH, K.
Edizione [4 auf.]
Pubbl/distr/stampa Berlin : Springer-Verlag, 1971
Descrizione fisica 266 p. : ill. ; 21 cm
Disciplina 511.3
Collana Heidelberger taschenbücher
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNISA-990003226810203316
STEINBUCH, K.  
Berlin : Springer-Verlag, 1971
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Automata, languages and programming : Proceedings of a symposium organized by Iria : July 3-7, 1972 / Nivat M. (Ed.)
Automata, languages and programming : Proceedings of a symposium organized by Iria : July 3-7, 1972 / Nivat M. (Ed.)
Pubbl/distr/stampa Amsterdam : North Holland, 1973
Descrizione fisica 622 p. : ill. ; 23 cm
Disciplina 511.3
Soggetto topico Logica matematica
ISBN 0-7204-2074-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003220310203316
Amsterdam : North Holland, 1973
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Automi, linguaggi e calcolabilità / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman ; edizione italiana a cura di Giovanni Pighizzini
Automi, linguaggi e calcolabilità / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman ; edizione italiana a cura di Giovanni Pighizzini
Autore Hopcroft, John E. <1939- >
Edizione [3. ed]
Pubbl/distr/stampa [Milano], : Pearson Addison Wesley, 2009
Descrizione fisica XIX, 499 p. ; 24 cm.
Disciplina 511.3
511.35
Altri autori (Persone) Motwani, Rajeev
Ullman, Jeffrey D. <1942- >
Collana Informatica
Soggetto topico Logica matematica
Elaborazione dei dati - Programmazione - Linguaggi
ISBN 9788871925523
9788891907806
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNISANNIO-CAG1645054
Hopcroft, John E. <1939- >  
[Milano], : Pearson Addison Wesley, 2009
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Avicenna's treatise on logic : Part one of Danesh-Name Alai : ( A concise philosophical encyclopedia) and autobiography / Edited and translated from the original persian by Farlang Zabeeh
Avicenna's treatise on logic : Part one of Danesh-Name Alai : ( A concise philosophical encyclopedia) and autobiography / Edited and translated from the original persian by Farlang Zabeeh
Pubbl/distr/stampa The Hague : Martinus Nijhoff, 1971
Descrizione fisica 47 p. ; 24 cm
Disciplina 511.3
Soggetto topico Logica matematica
ISBN 90-247-5108-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003220420203316
The Hague : Martinus Nijhoff, 1971
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Axiomatic set theory / Paul Bernays ; A. Heyting...[et al.] (Eds.)
Axiomatic set theory / Paul Bernays ; A. Heyting...[et al.] (Eds.)
Autore BERNAYS, Paul
Pubbl/distr/stampa Amsterdam : North-Holland, 1968
Descrizione fisica VIII, 227 p. : ill. ; 23 cm
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003228650203316
BERNAYS, Paul  
Amsterdam : North-Holland, 1968
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Brouwer's Cambridge lectures on intuitionism / Van Dalen D. (Ed.)
Brouwer's Cambridge lectures on intuitionism / Van Dalen D. (Ed.)
Pubbl/distr/stampa Cambridge : Cambridge University Press, 1981
Descrizione fisica XII, 109 p. : 1 ritr. ; 21 cm
Disciplina 511.2
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003219260203316
Cambridge : Cambridge University Press, 1981
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Capire la matematica / Gabriele Lolli
Capire la matematica / Gabriele Lolli
Autore Lolli, Gabriele
Pubbl/distr/stampa Bologna : Il mulino, c1996
Descrizione fisica 196 p. ; 22 cm
Disciplina 511.3
Soggetto topico Logica matematica
ISBN 8815051244
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991002197839707536
Lolli, Gabriele  
Bologna : Il mulino, c1996
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Capire una dimostrazione : il ruolo della logica nella matematica / Gabriele Lolli
Capire una dimostrazione : il ruolo della logica nella matematica / Gabriele Lolli
Autore Lolli, Gabriele
Pubbl/distr/stampa Bologna : <> Mulino, c1988
Descrizione fisica 209 p. ; 22 cm.
Disciplina 511.3
Collana Saggi
Soggetto topico Logica matematica
ISBN 88-15-01998-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNIBAS-000011190
Lolli, Gabriele  
Bologna : <<Il>> Mulino, c1988
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Categorie nella pratica matematica / Saunders Mac Lane ; [Traduzione di Renato Betti... [et al.]]
Categorie nella pratica matematica / Saunders Mac Lane ; [Traduzione di Renato Betti... [et al.]]
Autore Mac Lane, Saunders
Pubbl/distr/stampa Torino : Boringhieri, c1977
Descrizione fisica 322 p. ; 20 cm.
Disciplina 511.3
Collana Testi e manuali della scienza contemporanea, Serie di logica matematica
Soggetto topico Logica matematica
Categoria (Matematica)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNIBAS-000009113
Mac Lane, Saunders  
Torino : Boringhieri, c1977
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Categorie, universi e principi di riflessione / Gabriele Lolli
Categorie, universi e principi di riflessione / Gabriele Lolli
Autore Lolli, Gabriele
Pubbl/distr/stampa Torino : Boringhieri, 1977
Descrizione fisica 92 p. ; 21 cm
Disciplina 511.3
Collana Lezioni e seminari
Soggetto topico Mathematical logic and foundations
Logica matematica
Classificazione AMS 03-01
AMS 03-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991000735749707536
Lolli, Gabriele  
Torino : Boringhieri, 1977
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui