Yazar
Logic Colloquium
26 cilt bulundu.
Logic Colloquium '02 (2002 Münster, Germany), Logic Colloquium 0, Wolfram Pohlers, Colloquium Logicum 200 · A K Peters
359 sayfa · 2006
Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Mathematical logic / Science/Mathematics
Logic Colloquium (1999 Utrecht, Netherlands), Vincent Van Oostrom, Albert Visser, Logic Colloquium, J. Van Eijck · AK Peters
230 sayfa · 2004
Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Mathematical logic / Logic
Logic Colloquium, Rene Cori, France) Logic Colloquium (2000 Paris · A K Peters/CRC Press
416 sayfa · 2005
Mathematical logic / Logic, Symbolic and mathematic / Mathematics / Science/Mathematics / Logic, Symbolic and mathematical
Logic Colloquium (2003 Helsinki, Finland), Viggo Stoltenberg-Hansen, Logic Colloquium · A K Peters
421 sayfa · 2006
Congresses / Symbolic and mathematical Logic / Mathematical logic / Logic, Symbolic and mathematical / Mathematics
Logic Colloquium (2004 Torino, Italy) · Cambridge University Press
220 sayfa · 2007
Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic
Logic Colloquium (2001 Vienna, Austria), Matthias Baaz, Jan Krajicek, Austria) Logic Colloquium (2001 Vienna · A K Peters, Ltd.
496 sayfa · 2005
Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Mathematical logic / Mathematics
Rene Cori, France) Logic Colloquium (2000 Paris · CRC Press LLC
387 sayfa · 2005
Logic, symbolic and mathematical
Logic Colloquium '93 (1993 University of Keele) · Clarendon Press
536 sayfa · 1996
Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic
Logic Colloquium (2005 Athens, Greece), Costas Dimitracopoulos, Ludomir Newelski, Dag Normann · Cambridge University Press
289 sayfa · 2007
Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Mathematical logic / Mathematics / Combinatorics
Logic Colloquium (1996 San Sebastián, Spain) · Springer
261 sayfa · 1998
Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Logica / Logique symbolique et mathématique
Logic Colloquium (1995 Haifa, Israel) · Springer
348 sayfa · 1998
Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic
Logic Colloquium '86 (Hull, England) · North-Holland
342 sayfa · 1988
Logic, Symbolic and mathematical / Symbolic and mathematical Logic
Logic Colloquium (1973 Bristol, England) · American Elsevier
513 sayfa · 1975
Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic
Logic Colloquium (1985 Orsay, France) · North-Holland
308 sayfa · 1987
Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic
Logic Colloquium (1983 Aachen, Germany) · Springer-Verlag
484 sayfa · 1984
Congresses / Set theory / Model theory / Mathematical models / Symbolic and mathematical Logic
Logic Colloquium (1997 Leeds, England) · Cambridge University Press
441 sayfa · 1999
Congresses / Set theory / Proof theory
Logic Colloquium (1981 Marseille, France) · North-Holland Pub. Co.
384 sayfa · 1982
Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic
Logic Colloquium (1982 Florence) · North-Holland
358 sayfa · 1984
Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Lambda calculus / Model theory / Categories (Mathematics)
Logic Colloquium (1979 Leeds, Yorkshire) · Cambridge University Press
319 sayfa · 1980
Congresses / Recursion theory / Recursive functions / Logic, symbolic and mathematical
Logic Colloquium (1992 Veszprém, Hungary) · CSLI Publications
336 sayfa · 1995
Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Logic, symbolic and mathematical / Programming languages (electronic computers)
Logic Colloquium (1978 Mons) · Elsevier North-Holland, sole distributors for the U.S.A. and Canada
434 sayfa · 1979
Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic
Logic Colloquium, Manchester, 1969 · North-Holland Pub. Co.
451 sayfa · 1971
Logic, Symbolic and mathematical / Symbolic and mathematical Logic
Logic Colloquium. 8th, Oxford 1963 · North-Holland Pub. Co.
320 sayfa · 1965
Congresses / Logic, Symbolic and mathematical / Recursive functions / Symbolic and mathematical Logic
Logic Colloquium, 11th, Hanover 1966 · North-Holland
303 sayfa · 1968
Logic, Symbolic and mathematical / Symbolic and mathematical Logic
Logic Colloquium (1983 Aachen, Germany) · Springer-Verlag
475 sayfa · 1984
Computational complexity / Congresses / Logic, Symbolic and mathematical / Proof theory / Symbolic and mathematical Logic