Logic, computation, hierarchies

Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011

Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009

Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005

Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968

Infinity and truth

Frege importance and legacy

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966

Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

The theory of models proceedings.

The axiomatic method

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980

Logic colloquium '73 : proceedings

Proceedings of the Second Scandinavian Logic Symposium

Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981

Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics

Recent progress in the Boolean domain

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978

Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976

Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

New perspectives on games and interaction

Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011

Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London

Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995

Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology

Symbolic computation and education

Advances in logic, artificial intelligence, and robotics LAPTEC 2002

Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California

Contributions to non-standard analysis

Logic, methodology and philosophy of science : proceedings of the 1960 international congress

Logic, methodology, and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991

Logic, methodology, and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983

Formal systems and recursive functions

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92

Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994)