Logique mathematique appliquee.

Logique mathematique, elements de base: calcul propositionnel, calcul des predicats.
by: Ponasse, Daniel
Published: (1967)

Logique moderne.
by: Grize, Jean Blaise
Published: (1969)

Logique contemporaine et formalisation /
by: Martin, Roger
Published: (1964)

L'algebre de la logique.
by: Couturat, Louis, 1868-1914
Published: (1965)

Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975 /
Published: (1977)

Methodes et concepts de la logique formelle /
by: Gauthier, Yvon
Published: (1978)

Épistémologie mathématique et psychologie ; essai sur les relations entre la logique formelle et la pensée réelle /
by: Beth, Evert Willem
Published: (1961)

Eine Termlogik mit Auswahloperator.
by: Hermes, Hans
Published: (1965)

Term logic with choice operator.
by: Hermes, Hans
Published: (1970)

Logique, semantique, metamathematique, 1923-1944.
by: Tarski, Alfred, 1901-1983
Published: (1972)

La logique moderne.
by: Chauvineau, Jean
Published: (1957)

Les principes des mathematiques : avec un appendice sur la philosophie des mathematiques de Kant.
by: Couturat, Louis, 1868-1914
Published: (1965)

L'algebre logique et ses rapports avec la theorie des relations /
by: Fraïssé, Roland
Published: (1967)

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)

The language of logic.
by: Freudenthal, Hans, 1905-1990
Published: (1966)

Posthumous writings /
by: Frege, Gottlob, 1848-1925
Published: (1979)

Cambridge Summer School in Mathematical Logic : held in Cambridge, England, August 1-21, 1971 /
Published: (1973)

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

Cambridge Summer School in Mathematical Logic ; [papers] /
Published: (1973)

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 /
Published: (1989)

Conference in Mathematical Logic, London '70 /
Published: (1972)

Logic year 1979-80, the University of Connecticut, USA /
Published: (1981)

Cabal seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77 /
Published: (1978)

Principles of intuitionism /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1969)

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 /
Published: (1985)

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

Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983.
Published: (1984)

La structure algebrique des theories mathematiques.
by: Henkin, Leon
Published: (1956)

Modelle der Mengenlehre. : Widerspruchsfreiheit und Unabhangigkeit der Kontinuum-Hypothese und des Auswahlaxioms /
by: Jensen, Ronald Björn
Published: (1967)

Etude logique des circuits electriques et des systemes binaires /
by: Higonnet, Rene, 1902-
Published: (1955)

Lectures on non-standard analysis /
by: Machover, Moshé
Published: (1969)

Relation, formule logique, compacité, complétude / par Roland Fraïssé.
by: Fraïssé, Roland
Published: (1967)

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
Published: (1975)

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 /
Published: (1989)

Logic year 1979-80, the University of Connecticut, USA /
Published: (1981)

A theory of sets /
by: Morse, Anthony P. (Anthony Perry)
Published: (1965)