Studies in Logic and the Foundations of Mathematics

24 réponses.

Curry, Haskell B. & Feys, Robert & Craig, William

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

Feys, Robert (ed) & Fitch, Frederic B. (ed)

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

Kuratowski, Kazimierz & Mostowski, Andrzej

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

Rosser, J. Barkley & Turquette, Atwell R.

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

Gabbay, Dov M. & Skvortsov, Dimitrij & al

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

Arnold, André & Niwinski, Damian

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

Buss, Samuel R. (ed)

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

Sanchis, Luis E.

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

Troelstra, A.S. & Dalen, D. van

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).

Fraïssé, R.

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

Harrington, L.A. & Morley, M.D. & Scedrov, A. & Simpson, S.G. (eds)

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).

Barendregt, H.P.

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

Kunen, Kenneth

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

Moschovakis, Yiannis N.

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

Williams, Neil H.

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

Barwise, Jon (ed) & Keisler, H.J. (collab) & Kunen, K. (collab) & Moschowakis, Y.N. (collab) & al.

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

Szabo, M.E.

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

Takeuti, Gaisi

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

Chang, C.C. & Keisler, H. Jérôme

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

Boone, W.W. & Cannonito, F.B. & Lyndon, R.C. (eds)

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).

Curry, H.B. & Hindley, J.R. & Seldin, J.P.

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