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)
Einführung in die Verbandstheorie : mit 32 abbildungen
Einführung in die Verbandstheorie : mit 32 abbildungen
Autore HERMES, Hans
Edizione [2. erweiterte auflage]
Pubbl/distr/stampa Berlin, : Springer-Verlag, 1967
Descrizione fisica XII, 209 p. : fig. ; 24 cm
Disciplina 514.2
Collana Die Grundlehren Mathematischen Wissenschaften
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNISA-990000634800203316
HERMES, Hans  
Berlin, : Springer-Verlag, 1967
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Enumerabilita, decidibilita, computabilita : introduzione alla teoria delle funzioni ricorsive / Hans Hermes
Enumerabilita, decidibilita, computabilita : introduzione alla teoria delle funzioni ricorsive / Hans Hermes
Autore HERMES, Hans
Pubbl/distr/stampa Torino : Boringhieri, 1975
Descrizione fisica 318 p. ; 24 cm
Collana Testi e manuali della scienza contemporanea.. 5, Serie di logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990001660800203316
HERMES, Hans  
Torino : Boringhieri, 1975
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 Mathematischen Wissenschaften
Soggetto topico 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
Enumerabilità decidibilità computabilità : introduzione alla teoria delle funzioni ricorsive / Hans Hermes
Enumerabilità decidibilità computabilità : introduzione alla teoria delle funzioni ricorsive / Hans Hermes
Autore HERMES, Hans
Pubbl/distr/stampa Torino : Boringhieri, copyr. 1975
Descrizione fisica 318 p. : ill. ; 21 cm
Disciplina 511.3
Collana Testi e manuali della scienza contemporanea. Serie di logica matematica
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990003231140203316
HERMES, Hans  
Torino : Boringhieri, copyr. 1975
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Enumerabilità, decidibilità, computabilità : introduzione alla teoria delle decisioni ricorsive / Hans Hermes ; [trad. di Edoardo Ballo]
Enumerabilità, decidibilità, computabilità : introduzione alla teoria delle decisioni ricorsive / Hans Hermes ; [trad. di Edoardo Ballo]
Autore HERMES, Hans
Pubbl/distr/stampa Torino, : Boringhieri, 1975
Descrizione fisica 318 p. ; 21 cm
Disciplina 511.35
Collana Testi e manuali della scienza contemporanea. Serie di logica matematica
Soggetto topico Funzioni ricorsive
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990005603580203316
HERMES, Hans  
Torino, : Boringhieri, 1975
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Introduction to mathematical logic / Hermes Hans ; Translated from German by Diana Schmidt
Introduction to mathematical logic / Hermes Hans ; Translated from German by Diana Schmidt
Autore HERMES, Hans
Pubbl/distr/stampa Berlin : Springer-Verlag, 1973
Descrizione fisica XI, 242 p. ; 25 cm
Disciplina 511.3
Soggetto topico Logica matematica
ISBN 3-540-05819-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003223250203316
HERMES, Hans  
Berlin : Springer-Verlag, 1973
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Mathesis universalis : abhandlungen zur philosophie als strenger wissenschaft / Heinrich Scholz ; herausgegeben von Hans Hermes, Friedrich Kambartel und Joachim Ritter
Mathesis universalis : abhandlungen zur philosophie als strenger wissenschaft / Heinrich Scholz ; herausgegeben von Hans Hermes, Friedrich Kambartel und Joachim Ritter
Autore SCHOLZ, Heinrich
Edizione [2 aufl.]
Pubbl/distr/stampa Basel : Schwabe, 1969
Descrizione fisica 483 p. ; 24 cm
Disciplina 160
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNISA-990000461000203316
SCHOLZ, Heinrich  
Basel : Schwabe, 1969
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Vol.1: Nachgelassene schriften / Frege Gottlob ; Herausgegeben von Hans Hermes, Friedrich Kambartel und Friedrich Kaulbach
Vol.1: Nachgelassene schriften / Frege Gottlob ; Herausgegeben von Hans Hermes, Friedrich Kambartel und Friedrich Kaulbach
Autore FREGE, Gottlob
Pubbl/distr/stampa Hamburg : Felix Meiner Verlag, 1969
Descrizione fisica v.1 XLI, 322 p.
Disciplina 511.3
Collana Nachgelassene schriften und wissenschaftlicher briefwechsel
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNISA-990003222140203316
FREGE, Gottlob  
Hamburg : Felix Meiner Verlag, 1969
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui