An introduction to symbolic logic.
| Main Author: | Langer, Susanne K. (Susanne Katherina Knauth), 1895-1985 |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
Dover Publications,
[1953]
|
| Edition: | 2d ed. (rev.). |
| Subjects: |
Similar Items
An algebraic introduction to mathematical logic /
by: Barnes, D. W. (Donald W.), 1935-, et al.
Published: (1975)
by: Barnes, D. W. (Donald W.), 1935-, et al.
Published: (1975)
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
Published: (1982)
Published: (1982)
La logique moderne.
by: Chauvineau, Jean
Published: (1957)
by: Chauvineau, Jean
Published: (1957)
A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (2001)
by: Enderton, Herbert B.
Published: (2001)
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics /
Published: (1973)
Published: (1973)
Handbook of mathematical logic /
Published: (1977)
Published: (1977)
Admissibility of logical inference rules /
by: Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Published: (1997)
by: Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Published: (1997)
Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
Published: (1983)
Published: (1983)
A survey of symbolic logic,
by: Lewis, Clarence Irving, 1883-1964
Published: (1918)
by: Lewis, Clarence Irving, 1883-1964
Published: (1918)
The logical syntax of language /
by: Carnap, Rudolf, 1891-1970
Published: (1937)
by: Carnap, Rudolf, 1891-1970
Published: (1937)
Logic Colloquium : symposium on logic held at Boston, 1972-73 /
Published: (1975)
Published: (1975)
Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Published: (1986)
Published: (1986)
Proceedings of the Second Scandinavian Logic Symposium
Published: (1971)
Published: (1971)
Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
Published: (1988)
Published: (1988)
Foundations without foundationalism : a case for second-order logic /
by: Shapiro, Stewart, 1951-
Published: (1991)
by: Shapiro, Stewart, 1951-
Published: (1991)
Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Published: (1982)
Published: (1982)
Mathematical logic in the 20th century /
Published: (2003)
Published: (2003)
Delta, a paradox logic /
by: Hellerstein, N. S. (Nathaniel S.)
Published: (1997)
by: Hellerstein, N. S. (Nathaniel S.)
Published: (1997)
Past, present and future
by: Prior, A. N. (Arthur N.), 1914-1969
Published: (1967)
by: Prior, A. N. (Arthur N.), 1914-1969
Published: (1967)
Fundamentals of mathematical logic /
by: Hinman, Peter G.
Published: (2005)
by: Hinman, Peter G.
Published: (2005)
Logic, semantics, metamathematics : papers from 1923 to 1938 /
by: Tarski, Alfred, 1901-1983
Published: (1956)
by: Tarski, Alfred, 1901-1983
Published: (1956)
Something to reckon with : the logic of terms /
by: Englebretsen, George
Published: (1996)
by: Englebretsen, George
Published: (1996)
Symbolic logic and The game of logic /
by: Carroll, Lewis, 1832-1898
Published: (1958)
by: Carroll, Lewis, 1832-1898
Published: (1958)
Logical frameworks for truth and abstraction : an axiomatic study /
by: Cantini, Andrea
Published: (1996)
by: Cantini, Andrea
Published: (1996)
Proceedings.
Published: (1975)
Published: (1975)
Logic and knowledge : essays, 1901-1950 /
by: Russell, Bertrand, 1872-1970
Published: (1956)
by: Russell, Bertrand, 1872-1970
Published: (1956)
Handbook of the logic of argument and inference : the turn towards the practical /
Published: (2002)
Published: (2002)
Introduction to elementary mathematical logic /
by: Stoli︠a︡r, A. A. (Abram Aronovich)
Published: (1984)
by: Stoli︠a︡r, A. A. (Abram Aronovich)
Published: (1984)
Combinatory logic /
Published: (1958)
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)
Published: (1981)
Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Published: (1987)
Published: (1987)
Constructibility and mathematical existence /
by: Chihara, Charles S., 1932-
Published: (1990)
by: Chihara, Charles S., 1932-
Published: (1990)
Non-standard logics for automated reasoning /
Published: (1988)
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)
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)
Published: (1968)
A new introduction to modal logic /
by: Hughes, G. E. (George Edward), 1918-
Published: (1996)
by: Hughes, G. E. (George Edward), 1918-
Published: (1996)