[Omega] bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, c1987- |
Descrizione fisica | 6 v. ; 28 cm |
Collana | Perspectives in mathematical logic |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Bibliography of mathematical logic |
Record Nr. | UNINA-990009132090403321 |
Berlin ; New York : Springer-Verlag, c1987- | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Muller and D. S. Scott |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1978 |
Descrizione fisica | xii, 476 p. ; 24 cm |
Disciplina | 160 |
Collana | Lecture notes in mathematics |
Soggetto non controllato | Teoria degli insiemi |
ISBN | 3-540-08926-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001022880403321 |
Berlin [etc.] : Springer-Verlag, 1978 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
ISILC logic conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G.H. Müller, A. Oberschelp and K. Potthoff |
Autore | International summer institute and logic colloquium : <1974 |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
Descrizione fisica | IV, 651 p. ; 24 cm |
Disciplina | 160 |
Collana | Lecture notes in mathematics |
Soggetto non controllato |
Logica
Ricorsività |
ISBN | 3-540-07534-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001037170403321 |
International summer institute and logic colloquium : <1974 | ||
Berlin ; New York : Springer-Verlag, 1975 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
ISILC proof theory symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G.H. Müller ... [et al.] |
Autore | ISILC proof theory symposion : <1974 |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
Descrizione fisica | VI, 383 p. ; 24 cm |
Disciplina | 160 |
Collana | Lecture notes in mathematics |
Soggetto non controllato |
Logica
Ricorsività |
ISBN | 3-540-07533-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000984430403321 |
ISILC proof theory symposion : <1974 | ||
Berlin ; New York : Springer-Verlag, 1975 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
ISILC proof theory symposium : dedicated to Kurt Schutte on the occasion of his 65th birthday proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / Edited by J. Diller, G. H. Muller |
Pubbl/distr/stampa | Berlin : Springer-Verlag, c1975 |
Descrizione fisica | viii, 383 p. ; 24 cm |
Disciplina | 511.3 |
Collana | Lecture Notes in Mathematics |
Soggetto non controllato |
Teoria della ricorsivita'
Matematica intuitiva Matematici - 20. sec. - schutte k. - anniversari |
ISBN | 3-540-07533-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001205100403321 |
Berlin : Springer-Verlag, c1975 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 / Editors Klaus Ambos-Spiers, Gert H. Muller, Gerald E. Sacks. |
Pubbl/distr/stampa | Berlin : Springer-Verlag, c1990 |
Descrizione fisica | vi, 393 p. ; 25 cm |
Disciplina | 511.35 |
Collana | Lecture Notes in Mathematics |
Soggetto non controllato |
Teoria della ricorsivita'
Teoria degli insiemi |
ISBN | 3-540-52772-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001322930403321 |
Berlin : Springer-Verlag, c1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Recursion theory week : proceedings of a Conference held in Oberwolfach, West Germany April 15-21, 1984 / edited by H.-D. Ebbinghaus, G. H. Muller and G. E. Sacks |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, ©1985 |
Descrizione fisica | IX, 418 p. : ill. ; 24 cm |
Disciplina | 160 |
Collana | Lecture Notes in Mathematics |
Soggetto non controllato |
Logica
Ricorsività |
ISBN | 3-540-15673-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000986930403321 |
Berlin [etc.] : Springer-Verlag, ©1985 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The study of time : proceedings of the first conference of the International Society for the Study of Time, Oberwolfach (Black Forest) - West Germany / edited by J.T. Fraser, F.C. Haber, G.H. Müller |
Autore | International society for the study of time |
Pubbl/distr/stampa | Berlin : Springer, 1972 |
Descrizione fisica | VIII, 550 p. ; 26 cm |
Disciplina | 530 |
Soggetto non controllato | Fondamenti della fisica |
ISBN | 3-540-05824-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000994990403321 |
International society for the study of time | ||
Berlin : Springer, 1972 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Zur Synopse : Untersuchung über die Arbeitsweise des Lk und Mt und ihre Quellen, namentlich die Spruchquelle, im Anschluss an eine Synopse Mk-Lk-Mt / G. H. Muller |
Autore | Müller, Gert Heinz |
Pubbl/distr/stampa | Göttingen : Vandenhoeck und Ruprecht, 1908 |
Descrizione fisica | 60 p. ; 24 cm |
Disciplina |
226.2
226.4 |
Collana | Forschungen zur Religion und Literatur des Alten und Neuen Testaments |
Soggetto non controllato |
Luca : Evangelista santo
Marco : Evangelista santo |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNINA-990004458870403321 |
Müller, Gert Heinz | ||
Göttingen : Vandenhoeck und Ruprecht, 1908 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|