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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
Capire una dimostrazione : il ruolo della logica nella matematica / Gabriele Lolli |
Autore | Lolli, Gabriele |
Pubbl/distr/stampa |
Bologna : < |
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 | ||
|
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 | ||
|
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 | ||
|