篠田, 壽一(1948-), Slaman, T. A. (Theodore Allen), 1954-, 柘植, 利之(1926-), Meeting on Mathematical Logic and its Applications
Springer-Verlag
|
Conference "Algebra and Logic", Stojaković, Zoran, Institut za matematiku (Novi Sad, Serbia)
Institute of Mathematics, University of Novi Sad
|
Latin-American Symposium on Mathematical Logic, Carnielli, Walter A. (Walter Alexandre), Alcantara, Luiz Paulo de, …
American Mathematical Society
|
International Congress of Logic, Methodology and Philosophy of Science, Suppes, Patrick, 1922-, International Union of …
North-Holland Pub. Co., American Elsevier Pub. Co.
|
Brazilian Conference on Mathematical Logic, Carnielli, Walter A. (Walter Alexandre), D'Ottaviano, Itala M. L., 1944-
American Mathematical Society
|
North Texas Logic Conference, Gao, Su, 1968-, Jackson, Steve, 1957-, Zhang, Yi, 1964 Aug. 22-
American Mathematical Society
|
Latin-American Symposium on Mathematical Logic, Caicedo, Xavier, 1944-, Montenegro, Carlos H., 1958-
Marcel Dekker
|
Logic Colloquium, Cooper, S. B. (S. Barry), Truss, J. K, Association for Symbolic Logic
Cambridge University Press
|
|
Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Richter, Michael M., 1938-
Springer-Verlag
|
Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent, Linear Logic Workshop
Cambridge University Press
|
Moschovakis, Yiannis N., 1938-, Workshop on Logic from Computer Science
Springer-Verlag
|