Your search returned 6 results.

Not what you expected? Check for suggestions
1.
Decidable Theories

by J.R. Büchi | D. Siefkes | D. Siefkes | G.H. Müller.

Series: Lecture Notes in Mathematics ; v.328Edition: 1973Material type: Computer file Computer file; Format: electronic Publication details: Heidelberg Springer Berlin 1973Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

2.
Higher Set Theory

by G.H. Müller | D.S. Scott.

Series: Lecture Notes in Mathematics ; v.669Edition: 1978Material type: Computer file Computer file; Format: electronic Publication details: Heidelberg Springer Berlin 1978Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

3.
ISILC - Logic Conference

by G. H. Müller | A. Oberschelp | K. Potthoff.

Series: Lecture Notes in Mathematics ; v.499Edition: 1975Material type: Computer file Computer file; Format: electronic Publication details: Heidelberg Springer Berlin 1975Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

4.
ISILC - Proof Theory Symposion

by J. Diller | G.H. Müller.

Series: Lecture Notes in Mathematics ; v.500Edition: 1975Material type: Computer file Computer file; Format: electronic Publication details: Heidelberg Springer Berlin 1975Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

5.
Logic Symposia, Hakone, 1979, 1980

by G.H. Müller | G. Takeuti | T. Tugue.

Series: Lecture Notes in Mathematics ; v.891Edition: 1981Material type: Computer file Computer file; Format: electronic Publication details: Heidelberg Springer Berlin 1981Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

6.
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

by G. H. Müller | M. M. Richter.

Series: Lecture Notes in Mathematics ; v.1103Edition: 1984Material type: Computer file Computer file; Format: electronic Publication details: Heidelberg Springer Berlin 1984Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .