An introduction to symbolic logic.

Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics /
Published: (1973)

Handbook of mathematical logic /
Published: (1977)

Admissibility of logical inference rules /
by: Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Published: (1997)

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
Published: (1983)

A survey of symbolic logic,
by: Lewis, Clarence Irving, 1883-1964
Published: (1918)

The logical syntax of language /
by: Carnap, Rudolf, 1891-1970
Published: (1937)

Logic Colloquium : symposium on logic held at Boston, 1972-73 /
Published: (1975)

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Published: (1986)

Proceedings of the Second Scandinavian Logic Symposium
Published: (1971)

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
Published: (1988)

Foundations without foundationalism : a case for second-order logic /
by: Shapiro, Stewart, 1951-
Published: (1991)

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

Mathematical logic in the 20th century /
Published: (2003)

Delta, a paradox logic /
by: Hellerstein, N. S. (Nathaniel S.)
Published: (1997)

Past, present and future
by: Prior, A. N. (Arthur N.), 1914-1969
Published: (1967)

Fundamentals of mathematical logic /
by: Hinman, Peter G.
Published: (2005)

Logic, semantics, metamathematics : papers from 1923 to 1938 /
by: Tarski, Alfred, 1901-1983
Published: (1956)

Something to reckon with : the logic of terms /
by: Englebretsen, George
Published: (1996)

Symbolic logic and The game of logic /
by: Carroll, Lewis, 1832-1898
Published: (1958)

Logical frameworks for truth and abstraction : an axiomatic study /
by: Cantini, Andrea
Published: (1996)

Proceedings.
Published: (1975)

Logic and knowledge : essays, 1901-1950 /
by: Russell, Bertrand, 1872-1970
Published: (1956)

Handbook of the logic of argument and inference : the turn towards the practical /
Published: (2002)

Introduction to elementary mathematical logic /
by: Stoli︠a︡r, A. A. (Abram Aronovich)
Published: (1984)

Combinatory logic /
Published: (1958)

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

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Published: (1987)

Constructibility and mathematical existence /
by: Chihara, Charles S., 1932-
Published: (1990)

Non-standard logics for automated reasoning /
Published: (1988)

Logicism renewed : logical foundations for mathematics and computer science, lecture notes in logic 23 /
by: Gilmore, Paul C. (Paul Carl), 1925-
Published: (2005)

Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic /
Published: (1968)

A new introduction to modal logic /
by: Hughes, G. E. (George Edward), 1918-
Published: (1996)

Elements of mathematical logic (Model theory)
by: Kreisel, Georg, et al.
Published: (1967)

A survey of mathematical logic /
Published: (1963)

The theory of models proceedings.
Published: (1965)

Mechanical logic in three-dimensional space /
by: Auletta, Gennaro
Published: (2013)