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.
A Course in mathematical logic / Yu I Manin
A Course in mathematical logic / Yu I Manin
Autore Manin, Yuri I
Pubbl/distr/stampa New York [etc.] : Springer-Verlag, copyr. 1977
Descrizione fisica XIII, 286 p. : ill. ; 24 cm
Disciplina 5113
Collana Graduate texts in mathematics
Soggetto non controllato logica matematica
logica simbolica
ISBN 0-387-90243-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000112850203316
Manin, Yuri I  
New York [etc.] : Springer-Verlag, copyr. 1977
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
A Course in mathematical logic / Yu I Manin
A Course in mathematical logic / Yu I Manin
Autore Manin, Yuri I
Pubbl/distr/stampa New York [etc.] : Springer-Verlag, copyr. 1977
Descrizione fisica XIII, 286 p. : ill. ; 24 cm
Disciplina 5113
Collana Graduate texts in mathematics
Soggetto non controllato logica matematica
logica simbolica
ISBN 0-387-90243-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000194840203316
Manin, Yuri I  
New York [etc.] : Springer-Verlag, copyr. 1977
Materiale a stampa
Lo trovi qui: Univ. di Salerno
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 (Calif.) : Wadsworth& Brooks, copyr. 1989
Disciplina 511.3
Soggetto non controllato funzioni computabili
logica matematica
logica simbolica
ISBN 0-534-10356-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000143350203316
Epstein, Richard L.  
Pacific Grove (Calif.) : Wadsworth& Brooks, copyr. 1989
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Equational logic as a programming language / Michael J. O'Donnell
Equational logic as a programming language / Michael J. O'Donnell
Autore O'Donnell, Michael J.
Pubbl/distr/stampa Cambrdige (Mass.) ; London (England) : MIT Press, copyr. 1986
Disciplina 005.131
Soggetto non controllato linguaggi di programmazione
logica matematica
logica simbolica
ISBN 0-262-15028-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000149620203316
O'Donnell, Michael J.  
Cambrdige (Mass.) ; London (England) : MIT Press, copyr. 1986
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier
Autore Gallier, Jean H.
Pubbl/distr/stampa New York [etc.] : John Wiley & Sons, copyr. 1987
Disciplina 511.3
Soggetto non controllato logica simbolica
ISBN 0-471-61546-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000160610203316
Gallier, Jean H.  
New York [etc.] : John Wiley & Sons, copyr. 1987
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Logic of domains / Guo-Qiang Zhang
Logic of domains / Guo-Qiang Zhang
Autore Zhang, Guo-Qiang
Pubbl/distr/stampa Bristol [etc.] : Birkauser, 1991
Disciplina 005.13
Soggetto non controllato linguaggi di programmazione semantica
logica matematica
logica simbolica
ISBN 3-7643-3570-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000160650203316
Zhang, Guo-Qiang  
Bristol [etc.] : Birkauser, 1991
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Mathematical logic for computer science / M. Ben-Ari
Mathematical logic for computer science / M. Ben-Ari
Autore Ben_Ari, M.
Pubbl/distr/stampa New York [etc.] : Prentice Hall, copyr. 1993
Descrizione fisica XI, 305 p. : ill. ; 24 cm
Disciplina 5113
Collana Prentice Hall international seriesin computer science
Soggetto non controllato logica matematica
logica simbolica
ISBN 0-13-564139-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000228260203316
Ben_Ari, M.  
New York [etc.] : Prentice Hall, copyr. 1993
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Schaum's outline of theory and problems of discrete mathematics / Seymour Lipschutz
Schaum's outline of theory and problems of discrete mathematics / Seymour Lipschutz
Autore Lipschutz, Seymour
Pubbl/distr/stampa New York [etc.] : McGraw-Hill, copyr. 1976
Descrizione fisica 249 p. : ill. ; 28 cm.
Disciplina 51102
Collana Schaum's outline series
Soggetto non controllato algebra
analisi combinatoria
logica matematica
logica simbolica
ISBN 0-07-037981-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000232710203316
Lipschutz, Seymour  
New York [etc.] : McGraw-Hill, copyr. 1976
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
The logic of information structures / Heinrich Wansing
The logic of information structures / Heinrich Wansing
Autore Wansing, Heinrich
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1993
Descrizione fisica IX, 163 p. : ill. ; 24 cm
Disciplina 004
Collana Lecture notes in artificial intelligence
Soggetto non controllato elaboratori elettronici
intelligenza artificiale
logica matematica
logica simbolica
ISBN 3-540-56734-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000201840203316
Wansing, Heinrich  
Berlin [etc.] : Springer-Verlag, copyr. 1993
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
The logic of partial information / Areski Nait Abadallah
The logic of partial information / Areski Nait Abadallah
Autore Nait Abadallah, Areski
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1995
Disciplina 005.131
Soggetto non controllato linguaggi di programmazione modelli mate
logica simbolica
ISBN 3-540-56583-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000160660203316
Nait Abadallah, Areski  
Berlin [etc.] : Springer-Verlag, copyr. 1995
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui