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
A proof theory for general unification / Wagner Snyder
A proof theory for general unification / Wagner Snyder
Autore Snyder, Wagner
Pubbl/distr/stampa Boston [etc.] : Birkauser, 1991
Disciplina 511.3
Collana Progress in computer science
Soggetto non controllato logica matematica
ISBN 0-8176-3593-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000125810203316
Snyder, Wagner  
Boston [etc.] : Birkauser, 1991
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algebraic methods II : theory, tools and applications / J. A. Bergstra (ed.)
Algebraic methods II : theory, tools and applications / J. A. Bergstra (ed.)
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1991
Descrizione fisica VI, 434 p. : ill. ; 25 cm
Disciplina 0051
Collana Lecture notes in computer science
Soggetto non controllato elaboratori elettronici - programmazione
logica matematica
software - progettazione
ISBN 3-540-53912-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000204990203316
Berlin [etc.] : Springer-Verlag, copyr. 1991
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algebraic system specification anddevelopment / M. Bidoit (ed.)
Algebraic system specification anddevelopment / M. Bidoit (ed.)
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1991
Descrizione fisica VIII, 98 p. : ill. ; 25 cm
Disciplina 005131
Collana Lecture notes in computer science
Soggetto non controllato logica matematica
modelli matematici
software - progettazione
ISBN 3-540-54060-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000202680203316
Berlin [etc.] : Springer-Verlag, copyr. 1991
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Axioms and hulls / D. E. Knuth
Axioms and hulls / D. E. Knuth
Autore Knuth, Donald E.
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, copyr. 1992
Descrizione fisica VII, 109 p. : ill. ; 25 cm
Disciplina 5113
Collana Lecture notes in computer science
Soggetto non controllato logica matematica
ISBN 3-540-55611-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000203210203316
Knuth, Donald E.  
Berlin [etc.] : Springer-Verlag, copyr. 1992
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
Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated by G. T. Hermann and O. Plassmann
Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated by G. T. Hermann and O. Plassmann
Autore Hermes, Hans
Edizione [2nd revised ed]
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1969
Descrizione fisica X, 245 p. ; 24 cm
Disciplina 515
Collana Die Grundlehren der mathematischenwissenschaften
Soggetto non controllato analisi matematica
logica matematica
modelli matematici
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000112980203316
Hermes, Hans  
Berlin [etc.] : Springer-Verlag, 1969
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated by G. T. Hermann and O. Plassmann
Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated by G. T. Hermann and O. Plassmann
Autore Hermes, Hans
Edizione [2nd revised ed]
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1969
Descrizione fisica X, 245 p. ; 24 cm
Disciplina 515
Collana Die Grundlehren der mathematischenwissenschaften
Soggetto non controllato analisi matematica
logica matematica
modelli matematici
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000196020203316
Hermes, Hans  
Berlin [etc.] : Springer-Verlag, 1969
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