Studies in Logic

10 réponses.

Rubin, Herman & Rubin, Jean E.

Equivalents of the axiom of choice. - North-Holland Publishing Comp., 1970. - (Studies in Logic).

Hintikka, Jaakko & Suppes, Patrick

Aspects of inductive logic. - North-Holland Publishing Comp., 1966. - (Studies in Logic).

Crossley, John N.

Sets, models and recursion theory. - North-Holland Publishing Comp., 1965. - (Studies in Logic).

Luschei, Eugene C.

The logical systems of Lesniewski. - North-Holland Publishing Comp., 1962. - (Studies in Logic).

Benthem, Johan van

Language in action, categories, lambdas and dynamical logic. - North-Holland Publishing Comp., 1991. - (Studies in Logic; 130).

Stern, Jacques

Logic Colloquium

Proceedings of the Herbrand symposium ; Logic colloquium'81, held in Marseille, France, July 1981. - North-Holland Publishing Comp., 1982. - (Studies in Logic; 107).

Cohen, Jonathan (ed) & Los, Jerzy (ed) & Pfeiffer, Helmut (ed) & Podewski, Klaus-Peter (ed)

Logic, methodology and philosophy of science VI, Proceedings of the sixth international congress of logic, methodology and philosophy of science, Hannover, 1979. - North-Holland Publishing Comp., 1979. - (Studies in Logic; 104).

Barendregt, Hendrik Pieter

The Lambda calculus, its syntax and semantics. - North-Holland Publishing Comp., 1981. - (Studies in Logic; 103).

Adian, S.I. (ed) & Boone, W.W. (ed) & Higman, G. (ed)

Word problems II. - North-Holland Publishing Comp., 1980. - (Studies in Logic; 95).

Arruda, A.I. (ed) & Costa, N.C. da (ed) & Chuaqui, R. (ed)

Non-classical logics, model theory and computability. - North-Holland Publishing Comp., 1977. - (Studies in Logic; 89).