"Calcul sémantique." . . "Preuve, Théorie de la." . . "Logica." . . "Bewijstheorie." . . "Ensembles, Théorie des." . . "Teoría de conjuntos Congresos, conferencias, etc." . . "Logic Colloquium '97 (Leeds, England)" . . . "Leeds (1997)"@en . . "Sets and proofs : invited papers from Logic Colloquium '97- European meeting of the association for symbolic logic, Leeds, July 1997" . . . . . . . "Conference papers and proceedings"@en . "Conference papers and proceedings" . . . . "Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association of Symbolic Logic, Leeds, July 1997" . . "Sets and proofs : invited papers from Logic Colloquium '97 : European Meeting of the Association for Symbolic Logic, Leeds, July 1997" . . . . "Sets and proofs : invited papers from Logic colloquium '97 - European meeting of the Association for symbolic logic, Leeds, July 1997" . . . . . . "Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997"@en . "Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997" . . . . . . . . "Sets and Proofs : Invited Papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic" . . . . . . . . . . . . . . . . . . . "Kongress"@en . . . . . . . "Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997" . . . . . "Electronic books"@en . . . . . "Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997" . . . . . . "Sets and proofs" . . . . . . "Matemàtica recreativa." . . "Logic colloquium (1997 : Leeds, GB)" . . . "Logic Colloquium (1997 : Leeds)" . . . "Verzamelingen (wiskunde)" . . "Proof theory Congresses." . . "Logic Colloquium '97 (1997 ; Leeds)." . . . "Théorie ensemble." . . "Machine Turing." . . "Théorie démonstration." . . "Teoria dos conjuntos (congressos)" . . "Jeu longueur dénombrable." . . "Forcing." . . "Lógica matemática (congressos)" . . "Topologie groupe polonais." . . "Complexité calcul propositionnel." . . "Teoria mulţimilor Antologie." . . "Teoría de la demostración Congresos, conferencias, etc." . . "Set theory Congresses." . . "Logic Colloquium '97 (1997 : Leeds, Great Britain)" . . . "Association for Symbolic Logic. (1997 : Leeds)" . . . "Logic Colloquium (1997 : Leeds, Inglaterra)" . . . "MATHEMATICS / General" . . "Kongress." . . "Logică simbolică şi matematică Antologie." . . "Mathematische Logik." . . . . "Logic Colloquium (1997 : Leeds, England)" . . . "Logique symbolique et mathématique Congrès." . . "Logic Colloquium (1997.07.06-13 Leeds, England)" . . .