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)
Completezza, compattezza e indecidibilità : un'introduzione alla logica matematica / Alfred B. Manaster ; [trad. di Serenella Cerrito e Marta Cialdea]
Completezza, compattezza e indecidibilità : un'introduzione alla logica matematica / Alfred B. Manaster ; [trad. di Serenella Cerrito e Marta Cialdea]
Autore MANASTER, Alfred B.
Edizione [Napoli : Bibliopolis]
Pubbl/distr/stampa 193 p. : ill.
Descrizione fisica Trad. di: Completeness, compactness, and undecidability : an introduction to mathematical logic
Disciplina 511.3
Collana Testi per lo studio della logica matematica
Soggetto topico Logica matematica
PROPOSIZIONI NON DECIDIBILI
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990005603250203316
MANASTER, Alfred B.  
193 p. : ill.
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Complexity, logic, and recursion theory / edited by Andrea Sorbi
Complexity, logic, and recursion theory / edited by Andrea Sorbi
Pubbl/distr/stampa New York [etc.] : Marcel Dekker, c1997
Descrizione fisica VIII, 363 p. ; 26 cm.
Disciplina 511.3
Collana Lecture notes in pure and applied mathematics
Soggetto topico Logica matematica
Complessità computazionale
ISBN 0-8247-0026-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000015834
New York [etc.] : Marcel Dekker, c1997
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Computability : a mathematical sketchbook / Douglas S. Bridges
Computability : a mathematical sketchbook / Douglas S. Bridges
Autore Bridges, Douglas S.
Pubbl/distr/stampa New York [etc.] : Springer, c1994
Descrizione fisica IX, 178 p. : ill. ; 25 cm.
Disciplina 511.3
Collana Graduate texts in mathematics
Soggetto topico Logica matematica
ISBN 0-387-94174-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000011845
Bridges, Douglas S.  
New York [etc.] : Springer, c1994
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Computability : computable functions, logic, and the foundations of mathematics / Richard L. Epstein, Walter A. Carnielli
Computability : computable functions, logic, and the foundations of mathematics / Richard L. Epstein, Walter A. Carnielli
Autore Epstein, Richard L.
Pubbl/distr/stampa Pacific Grove (CA), : Wadsworth & Brooks/Cole Advanced Books & Software, c1989
Descrizione fisica VII, 297 p. ; 24 cm
Disciplina 511.3
Altri autori (Persone) Carnielli, Walter Alexandre
Collana Cole mathematics series
The Wadsworth & Brooks/Cole mathematics series
Soggetto topico Logica simbolica
Logica matematica
Funzioni computabili
ISBN 0534103561
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-TO00074266
Epstein, Richard L.  
Pacific Grove (CA), : Wadsworth & Brooks/Cole Advanced Books & Software, c1989
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Computability and unsolvability / Martin Davis
Computability and unsolvability / Martin Davis
Autore Davis, Martin D.
Pubbl/distr/stampa New York : McGraw-Hill, 1958
Descrizione fisica XXV, 210 p. ; 23 cm
Disciplina 511.3
Collana McGraw-Hill series in information processing and computers
Soggetto topico Logica matematica
Logica simbolica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000223740203316
Davis, Martin D.  
New York : McGraw-Hill, 1958
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computation: finite and infinite machines / Minsky Marvin L.
Computation: finite and infinite machines / Minsky Marvin L.
Autore MINSKY, Marvin L.
Pubbl/distr/stampa London : Prentice Hall, 1972
Descrizione fisica XVII, 317 p. : ill. ; 23 cm
Disciplina 511.3
Collana Prentice Hall series in automatic computation
Soggetto topico Logica matematica
ISBN 0-13-165449-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003225130203316
MINSKY, Marvin L.  
London : Prentice Hall, 1972
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computational complexity / Rustin Randall (Ed.)
Computational complexity / Rustin Randall (Ed.)
Autore Courant computer science symposium 7 : <october 25-26, 1971
Pubbl/distr/stampa New York : Algorithmics Press, 1973
Descrizione fisica 268 p. : ill. ; 22 cm
Disciplina 511.3
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003221450203316
Courant computer science symposium 7 : <october 25-26, 1971  
New York : Algorithmics Press, 1973
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computations in higher types / Johan Moldestad
Computations in higher types / Johan Moldestad
Autore Moldestad, Johan
Pubbl/distr/stampa Berlin [etc.] : Springer, 1977
Descrizione fisica 203 p. ; 25 cm.
Disciplina 511.3
Collana Lecture notes in mathematics
Soggetto topico Logica matematica
ISBN 3-540-08132-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000013206
Moldestad, Johan  
Berlin [etc.] : Springer, 1977
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Computer logic / Rose Alan
Computer logic / Rose Alan
Autore ROSE, Alan
Pubbl/distr/stampa London : Wiley Interscience, 1971
Descrizione fisica XII, 180 p. : ill. ; 23 cm
Disciplina 511.3
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003226430203316
ROSE, Alan  
London : Wiley Interscience, 1971
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computers in mathematical research / Churchhouse R.F. and Herz J.-C, (Eds.)
Computers in mathematical research / Churchhouse R.F. and Herz J.-C, (Eds.)
Pubbl/distr/stampa Amsterdam : North Holland, 1968
Descrizione fisica XI, 185 p. : ill. ; 24 cm
Disciplina 511.3
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003221390203316
Amsterdam : North Holland, 1968
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui