ISILC Proof Theory Symposium, Schütte, K. (Kurt), Diller, Justus, Müller, G. H. (Gert Heinz), 1923-, International …
Springer-Verlag
|
Ambos-Spies, K. (Klaus), Müller, G. H. (Gert Heinz), 1923-, Sacks, Gerald E., 1933-
Springer-Verlag
|
Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Richter, Michael M., 1938-
Springer-Verlag
|
Ebbinghaus, Heinz-Dieter, 1939-, Sacks, Gerald E., 1933-, Müller, G. H. (Gert Heinz), 1923-
Springer-Verlag
|
Logic Colloquium, Müller, Gert Heinz, 1923-, Richter, Michael M., 1938-
Springer-Verlag
|
Logic Colloquium, Rose, Harvey Ernest, Shepherdson, John Cedric, Association for Symbolic Logic
North-Holland Pub. Co, American Elsevier Pub. Co.
|
Logic Symposia, Müller, G. H. (Gert Heinz), 1923-, 竹内, 外史(1926-), 柘植, 利之(1926-)
Springer-Verlag
|
Conference in Mathematical Logic, Hodges, Wilfrid
Springer-Verlag
|
Müller, G. H. (Gert Heinz), 1923-, Scott, Dana S.
Springer-Verlag
|
Cambridge Summer School in Mathematical Logic, Mathias, A. R. D. (Adrian Richard David), 1944-, Rogers, H. (Hartley), …
Springer-Verlag
|
AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to …
American Mathematical Society
|
Brazilian Conference on Mathematical Logic, Carnielli, Walter A. (Walter Alexandre), D'Ottaviano, Itala M. L., 1944-
American Mathematical Society
|