Showing
1 - 7
results of
7
for search '
'
Skip to content
University Library
Library Catalogue Plus
Toggle navigation
New Search
Subject Guides (including databases)
Your Account
Log Out
Login
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
English
Catalogue
Articles Plus
All Fields
Title
Author
Subject
Shelfmark
ISBN/ISSN
Tag
Find
Advanced Search
Reset Filters
Author:
Muller, G. H. (Gert Heinz), 1923-
Reset Filters
Show filters (1)
Author:
Muller, G. H. (Gert Heinz), 1923-
Search Results
Suggested Topics within your search.
Suggested Topics within your search.
Logic, Symbolic and mathematical
3
Recursion theory
2
Set theory
2
Proof theory
1
Showing
1 - 7
results of
7
for search '
'
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Shelfmark
Author
Title
1
Higher set theory proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G.H. Muller and D.S. Scott.
Published 1978
Shelfmark:
Loading...
Located:
Loading...
Get full text
eBook
Save to List
Saved in:
2
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 / e...
Published 1975
Shelfmark:
Loading...
Located:
Loading...
Get full text
eBook
Save to List
Saved in:
3
ISILC Logic Conference proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G.H. Muller, A. Oberschelp, K. Potthoff.
Published 1975
Shelfmark:
Loading...
Located:
Loading...
Get full text
eBook
Save to List
Saved in:
4
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. Tugue.
Published 1981
Shelfmark:
Loading...
Located:
Loading...
Get full text
eBook
Save to List
Saved in:
5
Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983.
Published 1984
Shelfmark:
Loading...
Located:
Loading...
Get full text
Get full text
eBook
Save to List
Saved in:
6
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.
Published 1985
Shelfmark:
Loading...
Located:
Loading...
Get full text
eBook
Save to List
Saved in:
7
Recursion theory week proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 / K. Ambos-Spies, G.H. Muller, G.E. Sacks (eds.).
Published 1990
Shelfmark:
Loading...
Located:
Loading...
Get full text
eBook
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Library
Online Resource
7
Format
eBook
7
Year of Publication
From:
To:
Author
Muller, G. H. (Gert Heinz), 1923-
Sacks, Gerald E.
2
Ambos-Spies, K. (Klaus)
1
Diller, Justus
1
Ebbinghaus, Heinz-Dieter, 1939-
1
ISILC Proof Theory Symposion University of Kiel
1
International Summer Institute and Logic Colloquium
1
International Summer Institute and Logic Colloquium Kiel, Germany
1
Logic Colloquium Aachen, Germany
1
Logic Symposia
1
Logic Symposia Hakone-machi, Japan
1
Oberschelp, Arnold
1
Potthoff, Karl
1
Schutte, K. (Kurt)
1
Scott, Dana S.
1
Takeuti, Gaisi, 1926-
1
Tugue, T. (Tosiyuki), 1926-
1
see all ...
Language
English
7
French
1
German
1
Genre
Congresses
7
© 2017 Loughborough University. All rights reserved.
Loading...