Combinatory logic volume 1. - North-Holland Publishing Comp., 1974. - (Studies in Logic and the Foundations of Mathematics).

Dictionnary of symbols of mathematical logic. - North-Holland Publishing Comp., 1969. - (Studies in Logic and the Foundations of Mathematics).

Set theory. - North-Holland Publishing Comp., 1968. - (Studies in Logic and the Foundations of Mathematics).

Many-valued logics. 2nd edition. - North-Holland Publishing Comp., 1958. - (Studies in Logic and the Foundations of Mathematics).

Quantification in nonclassical logic.
- Elsevier Science Publishers, 2009.
- (Studies in Logic and the Foundations of Mathematics; **153**).

Rudiments of µ-calculus.
- North-Holland Publishing Comp., 2001.
- (Studies in Logic and the Foundations of Mathematics; **146**).

Handbook of proof theory.
- Elsevier Science Publishers, 1998.
- (Studies in Logic and the Foundations of Mathematics; **137**).

Recursive functionals.
- North-Holland Publishing Comp., 1992.
- (Studies in Logic and the Foundations of Mathematics; **131**).

Constructivism in mathematics, an introduction. tome 2.
- North-Holland Publishing Comp., 1988.
- (Studies in Logic and the Foundations of Mathematics; **123**).

Barwise, J. (ed) & Kaplan, D. (ed) & al

**Logic Colloquium
, 1985**

Logic colloquium '85. Orsay. Proceedings of the colloquium held in Orsay, France, july 1985. Edited by the Paris Logic Group.
- Elsevier Science Publishers, 1987.
- (Studies in Logic and the Foundations of Mathematics; **122**).

Barwise, J. (ed) & Kaplan, D. (ed) & al

**Logic Colloquium
, 1985**

Logic colloquium '85. Edited by the Paris Logic Group, CNRS-University Paris VII. Proceedings of the colloquium held in Orsay, France, July 1985.
- North-Holland Publishing Comp., 1985.
- (Studies in Logic and the Foundations of Mathematics; **122**).

Theory of relations.
- North-Holland Publishing Comp., 1986.
- (Studies in Logic and the Foundations of Mathematics; **118**).

Harvey Friedman's research foundations of mathematics.
- Elsevier Science Publishers, 1985.
- (Studies in Logic and the Foundations of Mathematics; **117**).

Lolli, G. (ed) & Longo, G. (ed) & Marcja, A. (ed)

**Logic Colloquium
, 1982**

Logic colloquium' 82. Proceedings of the Colloquium held in Florence, 23-28 august, 1982.
- North-Holland Publishing Comp., 1982.
- (Studies in Logic and the Foundations of Mathematics; **112**).

The lambda calculus: its syntax and semantics.
- Elsevier Science Publishers, 1984.
- (Studies in Logic and the Foundations of Mathematics; **103**).

Set theory. An introduction to independence proofs.
- North-Holland Publishing Comp., 1980.
- (Studies in Logic and the Foundations of Mathematics; **102**).

Descriptive set theory.
- North-Holland Publishing Comp., 1980.
- (Studies in Logic and the Foundations of Mathematics; **100**).

Combinatorial set theory.
- North-Holland Publishing Comp., 1977.
- (Studies in Logic and the Foundations of Mathematics; **91**).

Handbook of mathematical logic.
- North-Holland Publishing Comp., 1977.
- (Studies in Logic and the Foundations of Mathematics; **90**).

Algebra of proofs.
- North-Holland Publishing Comp., 1978.
- (Studies in Logic and the Foundations of Mathematics; **88**).

Proof theory.
- Elsevier Science Publishers, 1975.
- (Studies in Logic and the Foundations of Mathematics; **81**).

Model theory. Fifth edition.
- North-Holland Publishing Comp., 1998.
- (Studies in Logic and the Foundations of Mathematics; **73**).

Word problems, decision problems and the Burnside problem in group theory.
- North-Holland Publishing Comp., 1973.
- (Studies in Logic and the Foundations of Mathematics; **71**).

Combinatory logic, volume 2.
- North-Holland Publishing Comp., 1972.
- (Studies in Logic and the Foundations of Mathematics; **65**).