Models and computability invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

FAW01
FAW02
Volltext

Logic programming and nonmonotonic reasoning 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6 - 8, 2004 ; proceedings

Model theory of groups and automorphism groups Blaubeuren, August 1995

Inhaltsverzeichnis

Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

FAW01
FAW02
Volltext

Model theory of groups and automorphism groups Blaubeuren, August 1995

FAW01
FAW02
Volltext

The proceedings of the Bertrand Russell Memorial Logic Conference Uldum, Denmark, 1971

The axiomatic method with special reference to geometry and physics ; proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957 -...