Logique mathematique appliquee.
| Main Author: | Freudenthal, Hans, 1905-1990 |
|---|---|
| Format: | Book |
| Language: | French |
| Published: |
Paris :
Gauthier-Villurs,
1958.
|
| Series: | Collection de logique mathematique. Ser. A. Monographies reunies par Mme. P. Fevrier (Parts) 14
|
| Subjects: |
Similar Items
Elements de logique mathematique : theorie des modeles /
by: Kreisel, Georg
Published: (1967)
by: Kreisel, Georg
Published: (1967)
Les fondements logiques des mathematiques.
by: Beth, Evert Willem
Published: (1955)
by: Beth, Evert Willem
Published: (1955)
Theorie des modeles en logique mathematique.
by: Daigneault, Aubert, 1932-
Published: (1967)
by: Daigneault, Aubert, 1932-
Published: (1967)
Cours de Logique Mathématique, Tome 2 : Théorie des modèles /
by: Fraïssé, Roland
Published: (1972)
by: Fraïssé, Roland
Published: (1972)
Logique mathematique, elements de base: calcul propositionnel, calcul des predicats.
by: Ponasse, Daniel
Published: (1967)
by: Ponasse, Daniel
Published: (1967)
Logique moderne.
by: Grize, Jean Blaise
Published: (1969)
by: Grize, Jean Blaise
Published: (1969)
Logique contemporaine et formalisation /
by: Martin, Roger
Published: (1964)
by: Martin, Roger
Published: (1964)
L'algebre de la logique.
by: Couturat, Louis, 1868-1914
Published: (1965)
by: Couturat, Louis, 1868-1914
Published: (1965)
Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975 /
Published: (1977)
Published: (1977)
Methodes et concepts de la logique formelle /
by: Gauthier, Yvon
Published: (1978)
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)
by: Beth, Evert Willem
Published: (1961)
Eine Termlogik mit Auswahloperator.
by: Hermes, Hans
Published: (1965)
by: Hermes, Hans
Published: (1965)
Term logic with choice operator.
by: Hermes, Hans
Published: (1970)
by: Hermes, Hans
Published: (1970)
Logique, semantique, metamathematique, 1923-1944.
by: Tarski, Alfred, 1901-1983
Published: (1972)
by: Tarski, Alfred, 1901-1983
Published: (1972)
La logique moderne.
by: Chauvineau, Jean
Published: (1957)
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)
by: Couturat, Louis, 1868-1914
Published: (1965)
L'algebre logique et ses rapports avec la theorie des relations /
by: Fraïssé, Roland
Published: (1967)
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)
Published: (1968)
The language of logic.
by: Freudenthal, Hans, 1905-1990
Published: (1966)
by: Freudenthal, Hans, 1905-1990
Published: (1966)
Posthumous writings /
by: Frege, Gottlob, 1848-1925
Published: (1979)
by: Frege, Gottlob, 1848-1925
Published: (1979)
Cambridge Summer School in Mathematical Logic : held in Cambridge, England, August 1-21, 1971 /
Published: (1973)
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)
Published: (1981)
Cambridge Summer School in Mathematical Logic ; [papers] /
Published: (1973)
Published: (1973)
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 /
Published: (1989)
Published: (1989)
Conference in Mathematical Logic, London '70 /
Published: (1972)
Published: (1972)
Logic year 1979-80, the University of Connecticut, USA /
Published: (1981)
Published: (1981)
Cabal seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77 /
Published: (1978)
Published: (1978)
Principles of intuitionism /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1969)
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)
Published: (1985)
Logic Colloquium : symposium on logic held at Boston, 1972-73 /
Published: (1975)
Published: (1975)
Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983.
Published: (1984)
Published: (1984)
La structure algebrique des theories mathematiques.
by: Henkin, Leon
Published: (1956)
by: Henkin, Leon
Published: (1956)
Modelle der Mengenlehre. : Widerspruchsfreiheit und Unabhangigkeit der Kontinuum-Hypothese und des Auswahlaxioms /
by: Jensen, Ronald Björn
Published: (1967)
by: Jensen, Ronald Björn
Published: (1967)
Etude logique des circuits electriques et des systemes binaires /
by: Higonnet, Rene, 1902-
Published: (1955)
by: Higonnet, Rene, 1902-
Published: (1955)
Lectures on non-standard analysis /
by: Machover, Moshé
Published: (1969)
by: Machover, Moshé
Published: (1969)
Relation, formule logique, compacité, complétude / par Roland Fraïssé.
by: Fraïssé, Roland
Published: (1967)
by: Fraïssé, Roland
Published: (1967)
ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
Published: (1975)
Published: (1975)
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 /
Published: (1989)
Published: (1989)
Logic year 1979-80, the University of Connecticut, USA /
Published: (1981)
Published: (1981)
A theory of sets /
by: Morse, Anthony P. (Anthony Perry)
Published: (1965)
by: Morse, Anthony P. (Anthony Perry)
Published: (1965)