Logique moderne.

Logique moderne. Fascicule II, Logique des propositions et des prédicats, tables de vérité et axiomatisation

Enregistré dans:

Détails bibliographiques
Auteur principal:	Grize, Jean Blaise, 1922-2013.
Support:	Livre
Langue:	Français
Publié:	Paris ; La Haye : Paris : Mouton ; Gauthier-Villars. C 1971.
Collection:	Mathématiques et sciences de l'homme 14
Sujets:	Calcul propositionnel Calcul des prédicats Axiomatique
Autres localisations:	Voir dans le Sudoc

Documents similaires

Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats
par: Ponasse, Daniel.
Publié: (1967)

Logique et langage : déduction naturelle : avec exercices interactifs et animés, logiciel LOGIC
par: Desclès, Jean-Pierre.
Publié: (2010)

Models and ultraproducts : an introduction
par: Bell, John Lane.
Publié: (1971)

Logique mathématique. cours et exercices corrigés
par: Cori, René.
Publié: (2003)

La logique déductive : essai de présentation aux juristes
par: Kalinowski, Georges, 1916-2000.
Publié: (1996)

Beginning logic
par: Lemmon, E. J.(
Publié: (1990)

Introduction à la logique contemporaine
par: Blanché, Robert, 1898-1975.
Publié: (1969)

Évènements, prédicats, arguments
par: Kupferman, Lucien.
Publié: (2008)

Logique moderne.
par: Grize, Jean Blaise, 1922-2013.
Publié: (1969)

Le tractatus : logique et métaphysique
par: Chauve, Alain.
Publié: (2015)

Sémantiques
Publié: (1998)

L'axiomatique
par: Blanché, Robert, 1898-1975.
Publié: (1955)

L'Axiomatique
par: Blanché, Robert, 1898-1975.
Publié: (1990)

Calcul différentiel et intégral
par: Delachet, André, 1919-
Publié: (1968)

Calcul différentiel et intégral
par: Laudenbach, François.
Publié: (2000)

Traité élémentaire de calcul différentiel et de calcul intégral... par S. F. Lacroix.
par: Lacroix, Silvestre-François, 1765-1843.
Publié: (1820)

Calcul différentiel et intégral : enseignement à distance universitaire européen
par: Maumy, Myriam.
Publié: (1998)

Cours d'analyse de l'École polytechnique, par M. Sturm,... publié... par M. E. Prouhet,...
par: Sturm, Charles, Jacques-Charles-François.
Publié: (1857)

Traité élémentaire de calcul différentiel et de calcul intégral... par S. F. Lacroix.
par: Lacroix, Silvestre-François, 1765-1843.
Publié: (1802)

Topologie et éléments d'analyse
par: Ramis, Edmond.
Publié: (1982)

Traité du calcul différentiel et du calcul intégral, par S.F. Lacroix. Tome premier [-second].
par: Lacroix, Silvestre-François, 1765-1843.
Publié: (1797)

Calcul pratique : arithmétique et géométrie
par: Chambadal, Lucien, 1935-
Publié: (1983)

À la racine des nombres : une histoire du calcul numérique des origines à nos jours
par: Doisy, Philippe A.
Publié: (2006)

Calcul différentiel et intégral, probabilités, déterminants
par: Verstegen, Dirk.
Publié: (2019)

Logique et complexité
par: Lassaigne, Richard.
Publié: (1996)

Maths en kit intégration.
Publié: (1982)

Dérivation : avec exercices
par: Jakubowicz, Daniel.
Publié: (1987)

Calcul intégral
par: Amyotte, Luc.
Publié: (2008)

Petit guide de calcul différentiel : à l'usage de la licence et de l'agrégation
par: Rouvière, François, 1946-
Publié: (2003)

Analyse.
par: Schwartz, Laurent, 1915-2002.
Publié: (1993)

Traité des différences et des séries; faisant suite au Traité du calcul différentiel et du calcul intégral, par S.F. Lacroix.
par: Lacroix, Silvestre-François, 1765-1843.
Publié: (1800)

Traité des fonctions elliptiques et des intégrales eulériennes, avec des tables pour en faciliter le calcul numérique ; par A. M. Legendre, membre de l'Académie royale des Sciences et du Bureau des Longitudes... Tome Premier [-Troisième].
par: Legendre, Adrien-Marie, 1752-1833.
Publié: (1825)

Tensor calculus
par: Spain, Barry.
Publié: (1956)

The elements of integration
par: Bartle, Robert G.
Publié: (1966)

Les différentielles
par: Pham, Frédéric, 1938-
Publié: (1996)

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
par: Gödel, Kurt, 1906-1978.
Publié: (1940)

50 problèmes d'analyse
par: Ghidaglia, Jean-Michel, 1958-
Publié: (2008)

Analyse moderne : résumé de cours et exercices corrigés : à l'usage des étudiants du 1er cycle des universités scientifiques, des classes préparatoires aux grandes écoles et de la 1ère année des maîtrises de mathématiques
par: Genet, Jean, 1928-
Publié: (1973)

Calcul différentiel pour la licence : cours, exercices et problèmes résolus
par: Donato, Paul, 1949-
Publié: (2000)

Mon livret de maths : CE2
par: Charnay, Roland, 19..-...., professeur de mathématiques.
Publié: (2021)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1