Hodges, W., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
International Conference AISMC, Calmet, Jacques, 1941-, Campbell, John A., 1940-
Springer-Verlag
|
Brazilian Conference on Mathematical Logic, Arruda, Ayda I., Costa, Newton C. A. da, Chuaqui, R., Universidade Estadual …
M. Dekker
|
DMTCS, Calude, Cristian, 1952-, Dinneen, M. J., 1957-, Vajnovszki, Vincent
Springer
|
篠田, 壽一(1948-), Slaman, T. A. (Theodore Allen), 1954-, 柘植, 利之(1926-), Meeting on Mathematical Logic and its Applications
Springer-Verlag
|
International Congress of Logic, Methodology and Philosophy of Science, Bar-Hillel, Yehoshua, International Union of the …
North-Holland Pub. Co.
|
International Summer Institute and Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Oberschelp, A, Potthoff, Klaus
Springer-Verlag
|
Logic Colloquium, Makowsky, Johann A., 1948-, Ravve, Elena V., 1963-, Association for Symbolic Logic
Springer
|
International Conference on Computer Logic, Martin-Löf, Per, 1942-, Mint︠s︡, Grigori
Springer-Verlag
|
International Congress of Logic, Methodology and Philosophy of Science, Prawitz, Dag, Skyrms, Brian, 1938-, …
Elsevier
|
Logic Symposia, Müller, G. H. (Gert Heinz), 1923-, 竹内, 外史(1926-), 柘植, 利之(1926-)
Springer-Verlag
|
Cambridge Summer School in Mathematical Logic, Mathias, A. R. D. (Adrian Richard David), 1944-, Rogers, H. (Hartley), …
Springer-Verlag
|