Formal logic /

Introduction to the Logical investigations : a draft of a preface to the Logical investigations (1913) /
by: Husserl, Edmund, 1859-1938
Published: (1975)

Logik /
by: Pfänder, Alexander, 1870-1941
Published: (1963)

Logik und Metaphysik oder Wissenschaftslehre /
by: Fischer, Kuno, 1824-1907
Published: (1998)

Logische Untersuchungen /
by: Husserl, Edmund, 1859-1938
Published: (1928)

Recherches logiques /
by: Husserl, Edmund, 1859-1938
Published: (1959)

Recherches logiques /
by: Husserl, Edmund, 1859-1938
Published: (1969)

Logique formelle et logique transcendantale ; essai d'une critique de la raison logique /
by: Husserl, Edmund, 1859-1938
Published: (1965)

Modern formal logic /
by: McKay, Thomas J.
Published: (1989)

Formalization of logic /
by: Carnap, Rudolf, 1891-1970
Published: (1947)

Systems of formal logic /
by: Hackstaff, L. H.
Published: (1967)

A primer of formal logic /
by: Cooley, John Cleveland, 1903-
Published: (1942)

Elements of logic and formal science.
by: Churchman, Charles West
Published: (1940)

Proof, logic, and formalization /
Published: (1992)

Mathematical logic and formalized theories ; a survey of basic concepts and results.
by: Rogers, Robert, 1926-
Published: (1971)

Notre Dame journal of formal logic /

Introductory formal logic of mathematics.
by: Nidditch, P. H.
Published: (1957)

Notre Dame journal of formal logic.

Logic ; techniques of formal reasoning /
by: Kalish, Donald
Published: (1964)

Mathematical logic and formalized theories : a survey of basic concepts and results /
by: Rogers, Robert, 1926-2011
Published: (1974)

Einfuhrung in die operative Logik und Mathematik.
by: Lorenzen, Paul, 1915-1994
Published: (1955)

An introduction to practical formal methods using temporal logic /
by: Fisher, Michael, 1962-
Published: (2011)

Formal Logic /
by: Lorenzen, Paul, 1915-1994
Published: (1965)

Formal methods.
by: Beth, Evert Willem
Published: (1962)

Logic colloquium '02: lecture notes in logic 27 : lecture notes in logic 27 /
Published: (2006)

Logic colloquium '99 : lecture notes in logic 17 /
Published: (2004)

Mathematical interpretation of formal systems
Published: (1955)

Logic colloquium 2000 (hardcover) : lecture notes in logic, 19 /
Published: (2005)

Logical forms : an introduction to philosophical logic /
by: Sainsbury, R. M. (Richard Mark)
Published: (1991)

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

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

Mathematical interpretation of formal systems /
Published: (1955)

A theory of formal deducibility.
by: Curry, Haskell B. (Haskell Brooks), 1900-1982
Published: (1950)

Applied logic /
by: Hansen, Kaj Børge
Published: (1996)

Logical papers /
by: Leibniz, Gottfried Wilhelm, Freiherr von, 1646-1716
Published: (1966)

Logic as algebra /
by: Halmos, Paul R. (Paul Richard), 1916-2006
Published: (1998)

Meta-logics and logic programming /
Published: (1995)