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)
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Muller and D. S. Scott
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Muller and D. S. Scott
Autore Muller, Gert H.
Pubbl/distr/stampa Berlin : Springer-Verlag, 1978
Descrizione fisica xii, 476 p. ; 25 cm
Disciplina 510.8
511.3
Altri autori (Persone) Scott, Dana S.
Collana Lecture notes in mathematics, 0075-8434 ; 669
Soggetto topico Set theory - Congresses
ISBN 3540089268
Classificazione AMS 04-06
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000978869707536
Muller, Gert H.  
Berlin : Springer-Verlag, 1978
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
ISILC proof theory symposion : 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
ISILC proof theory symposion : 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
Autore International summer institute and logic colloquium : <1974
Pubbl/distr/stampa Berlin [etc.] : Springer, 1975
Descrizione fisica VIII, 383 p. ; 25 cm.
Disciplina 511.3
Collana Lecture notes in mathematics
Soggetto topico Teoria della dimostrazione - Congressi
ISBN 3-540-07533-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti Proof theory symposion Kiel 1974
Record Nr. UNIBAS-000014687
International summer institute and logic colloquium : <1974  
Berlin [etc.] : Springer, 1975
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Logic Symposia Hakone 1979, 1980 : proceedings of conferences held in Hakone, Japan March 21-24, 1979 and February 4-7, 1980 / edited by G. H. Muller, G. Takeuti, T. Tugue
Logic Symposia Hakone 1979, 1980 : proceedings of conferences held in Hakone, Japan March 21-24, 1979 and February 4-7, 1980 / edited by G. H. Muller, G. Takeuti, T. Tugue
Autore Logic Symposia : <1979-1980
Pubbl/distr/stampa Berlin [etc.] : Springer, 1981
Descrizione fisica XI, 394 p. ; 25 cm.
Disciplina 511.3
Collana Lecture notes in mathematics
Soggetto topico Logica matematica - Congressi
ISBN 3-540-11161-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000014432
Logic Symposia : <1979-1980  
Berlin [etc.] : Springer, 1981
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G. H. Muller, G. Takeuti, and T. Tugué
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G. H. Muller, G. Takeuti, and T. Tugué
Autore Muller, Gert H.
Pubbl/distr/stampa Berlin : Springer-Verlag, 1981
Descrizione fisica xi, 394 p. ; 25 cm.
Disciplina 511.3
Altri autori (Persone) Takeuti, Gaisi
Tugué, Tosiyuki
Collana Lecture notes in mathematics, 0075-8434 ; 891
Soggetto topico Symbolic logic - Congresses
ISBN 3540111611
Classificazione AMS 03-06
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001095499707536
Muller, Gert H.  
Berlin : Springer-Verlag, 1981
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Models and sets : proc. of the Logic Colloquium held in Aachen, July 18-23, 1983 / eds. G. H. Muller, M. M. Richter
Models and sets : proc. of the Logic Colloquium held in Aachen, July 18-23, 1983 / eds. G. H. Muller, M. M. Richter
Autore Muller, Gert H.
Pubbl/distr/stampa Berlin : Springer-Verlag, 1984
Descrizione fisica 2 pt. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Richter, Michael M.
Collana Lecture notes in mathematics, 0075-8434 ; 1103
Soggetto topico Model theory
Set theory
ISBN 3540139001
Classificazione AMS 03C
AMS 03E
AMS 03G
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001152139707536
Muller, Gert H.  
Berlin : Springer-Verlag, 1984
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983
Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983
Pubbl/distr/stampa Berlin [etc.] : Springer, 1984
Descrizione fisica 2 v. ; 25 cm.
Disciplina 511.3
Collana Lecture notes in mathematics
Soggetto topico Teoria della dimostrazione - Congressi
ISBN 3-540-13900-1
3-540-13901-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1.: Models and sets / edited by G. H. Muller and M. M. Richter. - VIII, 484 p. Part 2.: Computation and proof theory / edited by M. M. Richter ... [et al.]. - VIII, 475 p.
Record Nr. UNIBAS-000014284
Berlin [etc.] : Springer, 1984
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / eds. H.-D. Ebbinghaus, G. H. Müller, and G. E. Sacks
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / eds. H.-D. Ebbinghaus, G. H. Müller, and G. E. Sacks
Autore Ebbinghaus, Heinz-Dieter
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1985
Descrizione fisica ix, 418 p. ; 25 cm.
Disciplina 511.3
Altri autori (Persone) Muller, Gert H.
Sacks, Gerald E.
Collana Lecture notes in mathematics, 0075-8434 ; 1141
Soggetto topico Recursion theory - Congresses
ISBN 3540156739
Classificazione AMS 03D
AMS 03E
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione en
Record Nr. UNISALENTO-991001291269707536
Ebbinghaus, Heinz-Dieter  
Berlin ; New York : Springer-Verlag, 1985
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Recursion theory week [e-book] : proceedings of a conference held in Oberwolfach, FRG, march 19-25, 1989 / edited by Klaus Ambos-Spies, Gert H. Muller, Gerald E. Sacks
Recursion theory week [e-book] : proceedings of a conference held in Oberwolfach, FRG, march 19-25, 1989 / edited by Klaus Ambos-Spies, Gert H. Muller, Gerald E. Sacks
Pubbl/distr/stampa Berlin : Springer, 1990
Descrizione fisica 1 online resource (viii, 400 p.)
Disciplina 511.3
Altri autori (Persone) Ambos-Spies, Klaus
Muller, Gert H.
Sacks, Gerald E.
Collana Lecture Notes in Mathematics, 0075-8434 ; 1432
Soggetto topico Mathematics
Logic, Symbolic and mathematical
ISBN 9783540471424
Classificazione AMS 03D
AMS 04-XX
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991002237029707536
Berlin : Springer, 1990
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany April 15-21, 1984 / edited by H. D. Ebbinghaus, G. H. Muller, G. E. Sacks
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany April 15-21, 1984 / edited by H. D. Ebbinghaus, G. H. Muller, G. E. Sacks
Pubbl/distr/stampa Berlin [etc.] : Springer, c1985
Descrizione fisica IX, 418 p. ; 25 cm.
Disciplina 511.35
Collana Lecture notes in mathematics
Soggetto topico Logica matematica - Congressi
ISBN 3-540-15673-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000014193
Berlin [etc.] : Springer, c1985
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
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
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, copyr. 1985
Descrizione fisica IX, 418 p. : ill. ; 25 cm
Disciplina 51135
Collana Lecture notes in mathematics
Soggetto non controllato congressi - oberwolfach - 1984
teoria degli insiemi - congressi - 1984
teoria della ricorrenza - congressi - 19
ISBN 3-540-15673-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000117430203316
Berlin [etc.] : Springer Verlag, copyr. 1985
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui