Troelstra, A. S. (Anne Sjerp)
Springer-Verlag
|
Conference on Alternative Semantics, Leblanc, Hugues, 1924-, Temple University. College of Liberal Arts, Association for …
North-Holland
|
Troelstra, Anne S., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Kurt Gödel Colloquium, Gottlob, Georg, 1956-, Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-
Springer
|
International Conference on Automated Deduction, Kapur, Deepak
Springer-Verlag
|
Kurt Gödel Colloquium, Gottlob, Georg, 1956-, Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-, Kurt Gödel Society
Springer-Verlag
|
Proof Theory in Computer Science, Kahle, Reinhard, Schroeder-Heister, Peter Joseph, 1953-, Stärk, Robert
Springer
|
International Symposium on the Theory of Models, Addison, J. W. (John West), 1930-, University of California, Berkeley, …
North-Holland
|
Logic Colloquium, Müller, Gert Heinz, 1923-
Springer-Verlag
|
International Conference on Computer Logic, Martin-Löf, Per, 1942-, Mint︠s︡, Grigori
Springer-Verlag
|
International Summer Institute and Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Oberschelp, A, Potthoff, Klaus
Springer-Verlag
|
International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940-
Springer-Verlag
|