Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /

Published 1983

Meaning and necessity : A study in semantics and modal logic /

by Carnap, Rudolf, 1891-1970
Published 1956

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /

Published 1982

Posthumous writings /

by Frege, Gottlob, 1848-1925
Published 1979

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /

Published 1980

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /

Published 1982

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /

Published 1984

Quantum logic /

by Mittelstaedt, Peter
Published 1978

Regulae ad directionem ingenii /

by Descartes, René, 1596-1650
Published 1966

Advanced logic for applications /

by Grandy, Richard E.
Published 1979

Two applications of logic to mathematics /

by Takeuti, Gaisi, 1926-
Published 1978

First-order dynamic logic /

by Harel, David, 1950-
Published 1979

A course in mathematical logic /

by Manin, IU I.
Published 1977

Logic and structure /

by Dalen, D. van (Dirk), 1932-
Published 1980

Laws of form /

by Spencer-Brown, G. (George)
Published 1979

To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism /

Published 1980

Logic of programs : workshop, ETH Zurich, May-July 1979 /

Published 1981

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 /

Published 1981

Mathematical logic.

by Monk, J. Donald (James Donald), 1930-
Published 1976

Mathematical logic.

by Ponasse, Daniel
Published 1973