Methodes et concepts de la logique formelle /

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

The continuum of inductive methods.
by: Carnap, Rudolf, 1891-1970
Published: (1952)

New methods in symbolic logic /
by: Standley, Gerald B.
Published: (1971)

The concept of logical consequence /
by: Etchemendy, John, 1952-
Published: (1990)

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

Deducibility and decidability /
by: Gill, R. R. Rockingham, 1944-
Published: (1990)

Logical options : an introduction to classical and alternative logics /
by: Bell, J. L. (John Lane)
Published: (2001)

The logic book /
by: Bergmann, Merrie
Published: (1990)

Ecrits logigues /
by: Herbrand, Jacques, 1908-1931
Published: (1968)

The algebra of logic /
by: Couturat, Louis, 1868-1914
Published: (1914)

A precis of mathematical logic.
by: Bochenski, Joseph M., 1902-1995
Published: (1959)

An examination of logical positivism /
by: Weinberg, Julius R. (Julius Rudolph), 1908-1971
Published: (1936)

Solutions to selected exercises in The logic book /
by: Bergmann, Merrie
Published: (1980)

The logic book /
by: Bergmann, Merrie
Published: (1980)

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

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

Logische Syntax der Sprache.
by: Carnap, Rudolf, 1891-1970
Published: (1968)

Symbolic logic.
by: Copi, Irving M.
Published: (1954)

Initiatives in logic /
Published: (1987)

Selected works /
by: ukasiewicz, Jan
Published: (1970)

Elementary logic.
by: Quine, W. V. (Willard Van Orman)
Published: (1966)

Selected logic papers.
by: Quine, W. V. (Willard Van Orman)
Published: (1966)

Symbolic logic : part I, elementary /
by: Carroll, Lewis, 1832-1898
Published: (1896)

The elements of mathematical logic.
by: Rosenbloom, Paul C.
Published: (1950)

Understanding symbolic logic /
by: Klenk, Virginia, 1940-
Published: (1983)

The basic laws of arithmetic : exposition of the system /
by: Frege, Gottlob, 1848-1925
Published: (1967)

Solvable cases of the decision problem.
by: Ackermann, W. (Wilhelm), 1896-
Published: (1954)

Symbolic logic : a first course /
by: Hardegree, Gary M.
Published: (1994)

Quantification theory /
by: Faris, J. A. (John Acheson)
Published: (1964)

The languages of logic /
by: Mann, William E.
Published: (1979)

Grundzuge der theoretischen Logik /
by: Hilbert, David, 1862-1943
Published: (1946)

Mathematical interpretation of formal systems /
Published: (1955)

Informal logic /
by: Kenelly, John W.
Published: (1967)

Introduction to elementary mathematical logic /
by: Stoli͡ar, A. A. (Abram Aronovich)
Published: (1970)

The development of symbolic logic ; a critical-historical study of the logical calculus /
by: Shearman, A. T. (Arthur Thomas)

Implicazione, endometria, universo del discorso = Implication, endometry, universe of discourse : testo bilingue di /
by: Spisani, Franco
Published: (1977)