1. Thèse Algèbre et combinatoire des jeux de parité / Walid BelkhirType de document: Thèse.Éditeur: [S.l.] : [s.n.], 2008 En-ligne: LIF Disponibilité: Pour le prêt: CMI[Thèses BEL] (1). Actions: Add to Cart No cover image available
2. Thèse Algèbres des logiques modales et intuitionistes : procédures de décision et formes canoniques / par Annie ForetType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1990 Disponibilité: Pour le prêt: CMI[Thèses FOR] (1). Actions: Add to Cart
3.  Congrès Contemporary research in the foundations and philosophy of quantum theory : proceedings of a conference held at the University of Western Ontario, London, Canada / C. A. HookerType de document: Congrès.Collection: University of Western Ontario series in philosophy of science ; 2Éditeur: Dordrecht : Reidel, 1973 Disponibilité: Pour le prêt: CMI[81-06 HOO] (1). Actions: Add to Cart
4.  Monographie Cours de logique mathématique. Tome 1 : relation, formule logique, compacité, complétude / Roland FraisséType de document: Monographie.Collection: Collection de logique mathématique, Série A ; 23Éditeur: Paris : Gauthier-Villars, 1967 Disponibilité: Pour le prêt: CMI[Manuels FRA] (4). Actions: Add to Cart No cover image available
5.  Monographie Cours de logique mathématique. Tome 1 : relations et formule logique / Roland FraisséType de document: Monographie.Collection: Collection de logique mathématique, Série A ; 23Éditeur: Paris : Gauthier-Villars, 1971 Disponibilité: Pour le prêt: CMI[Manuels FRA] (1). Sur place : CMI[Manuels FRA] (1). Actions: Add to Cart No cover image available
6.  Monographie Cours de logique mathématique sémantique / R. FraisséType de document: Monographie.Collection: Logique à l'usage du calculateur ; 2Éditeur: Paris : Centre National de la Recherche Scientifique, 1963 Disponibilité: Pour le prêt: CMI[Manuels FRA] (1). Actions: Add to Cart No cover image available
7.  Monographie Course of mathematical logic. 1 : relation and logical formula / Roland FraisséType de document: Monographie.Collection: Synthese library ; 54Éditeur: Dordrecht : Reidel, 1973 Disponibilité: Pour le prêt: CMI[Manuels FRA] (1). Actions: Add to Cart
8.  Monographie Course of mathematical logic. 1 : relation and logical formula / Roland FraisséType de document: Monographie. Collection: Synthese library Éditeur: Dordrecht : Reidel, 1973 Disponibilité: Pour le prêt: CMI[Manuels FRA] (1). Actions: Add to Cart
9.  Monographie Dynamic logic / David Harel, Dexter Kozen, Jerzy TiurynType de document: Monographie. Collection: Foundations of computing Éditeur: Cambridge, MA : MIT Press, 2000 Disponibilité: Pour le prêt: CMI[68 HAR] (1). Actions: Add to Cart
10.  Monographie Eine termlogik mit auswahloperator / Hans HermesType de document: Monographie.Collection: Lecture notes in mathematics ; 6Éditeur: Berlin : Springer, 1965 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03 HER] (1). Actions: Add to Cart No cover image available
11.  Monographie Einfuhrung in die operative logik und mathematik / Paul LorenzenType de document: Monographie.Collection: Grundlehren der mathematischen wissenschaften ; 78Éditeur: Berlin : Springer-Verlag, 1955 En-ligne: sur Numir Disponibilité: Pour le prêt: CMI[03 LOR] (1). Actions: Add to Cart No cover image available
12.  Monographie Eléments de logique mathématique : théorie des modèles / G. Kreisel, J .L. KrivineType de document: Monographie.Collection: Monographies de la Société Mathématique de France ; 3Éditeur: Paris : Dunod, 1967 Disponibilité: Pour le prêt: CMI[03 KRE] (4). Actions: Add to Cart No cover image available
13.  Monographie Handbook of mathematical logic / Jon BarwiseType de document: Monographie.Collection: Studies in logic and the foundations of mathematics ; 90Éditeur: Amsterdam : North-Holland, 1977 Disponibilité: Pour le prêt: CMI[03 BAR] (1). Actions: Add to Cart
14.  Monographie Introduction à la logique / Alfred TarskiType de document: Monographie.Collection: Collection de logique mathématique, Série A ; 16Éditeur: Paris : Gauthier-Villars, 1960 Disponibilité: Pour le prêt: CMI[03 TAR] (1). Actions: Add to Cart No cover image available
15.  Congrès Intuitionism and proof theory : proceedings of the summer conference at Buffalo N.Y. 1968 / A. Kino, J. Myhill, R. E. VesleyType de document: Congrès. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1970 Disponibilité: Pour le prêt: CMI[03-06 KIN] (1). Actions: Add to Cart No cover image available
16.  Monographie Languages with expressions of infinite length / Carol R. KarpType de document: Monographie. Collection: Studies in logic and the foundations of mathematics Éditeur: Amsterdam : North-Holland, 1964 Disponibilité: Pour le prêt: CMI[03 KAR] (1). Actions: Add to Cart No cover image available
17.  Séminaire Logical systems containing only a finite number of symbols / Leon HenkinType de document: Séminaire.Collection: Séminaire de mathématiques supérieures Montréal ; 21Éditeur: Montréal : Les Presses de l'Université de Montréal, 1967 Disponibilité: Pour le prêt: CMI[03 HEN] (1). Actions: Add to Cart No cover image available
18.  Monographie Logics without existence assumptions / Rolf SchockType de document: Monographie.Éditeur: Stockholm : Almqvist & Wicksell, 1968 Disponibilité: Pour le prêt: CMI[03 SCH] (1). Actions: Add to Cart No cover image available
19.  Monographie Logique à trois valeurs, logique à seuil / Michel CarvalloType de document: Monographie.Collection: Collection de mathématiques économiques ; 5Éditeur: Paris : Gauthier-Villars, 1968 Disponibilité: Pour le prêt: CMI[03 CAR] (1). Actions: Add to Cart No cover image available
20.  Monographie Logique appliquée au calcul automatique : cours théorique au certificat d'études supérieures de logique et programmation 1963-1964 / J. C. HerzType de document: Monographie.Éditeur: Lille : Université de Lille, 1964 Disponibilité: Pour le prêt: CMI[03 HER] (1). Actions: Add to Cart No cover image available
21.  Monographie Logique mathématique : éléments de base : calcul proportionnel, calcul des prédicats / Daniel PonasseType de document: Monographie.Éditeur: Paris : OCDL, 1967 Disponibilité: Pour le prêt: CMI[03 PON] (2). Actions: Add to Cart No cover image available
22.  Monographie La logique moderne / Jean ChauvineauType de document: Monographie.Collection: Que sais-je ? ; 745Éditeur: Paris : Presses Universitaires de France, 1966 Disponibilité: Pour le prêt: CMI[03 CHA] (1). Actions: Add to Cart No cover image available
23. Thèse Logiques,catégories et machines : implantation de langages de programmation guidée par la logique catégorique / Yves LafontType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1988 Disponibilité: Pour le prêt: CMI[Thèses LAF] (1). Actions: Add to Cart
24.  Monographie Matrix logic / August SternType de document: Monographie.Éditeur: Amsterdam : North-Holland, 1988 Disponibilité: Pour le prêt: CMI[03 STE] (1). Actions: Add to Cart
25.  Monographie Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo / A. S. TroelstraType de document: Monographie.Collection: Lecture notes in mathematics ; 95Éditeur: Berlin : Springer, 1969 En-ligne: sur Springerlink Disponibilité: Pour le prêt: CMI[03 TRO] (2). Actions: Add to Cart
26.  Monographie Studies in model theory / M. D. MorleyType de document: Monographie.Collection: Studies in mathematics ; 8Éditeur: Washington : Mathematical Association of America, 1973 Disponibilité: Pour le prêt: CMI[03 MOR] (1). Actions: Add to Cart
27. Article Supplément au cours de logique appliquée au calcul automatique / J. C. HerzType de document: Article.Éditeur: Lille : Université de Lille, 1964 Disponibilité: Pour le prêt: CMI[03 HER] (1). Actions: Add to Cart No cover image available
28.  Monographie Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung LeeType de document: Monographie. Collection: Computer science and applied mathematics Éditeur: New York : Academic Press, 1973 Disponibilité: Pour le prêt: CMI[03 CHA] (1). Actions: Add to Cart
29.  Monographie The logical structure of mathematical physics / Joseph D. SneedType de document: Monographie.Collection: Synthese library ; 35Éditeur: Dordrecht : Reidel, 1971 Disponibilité: Pour le prêt: CMI[03 SNE] (1). Actions: Add to Cart
30.  Monographie The mathematics of metamathematics / Helena Rasiowa, Roman SikorskiType de document: Monographie.Collection: Monografie matematyczne ; 41Éditeur: Warszawa : Panstwowe Wydawnictwo Naukowe, 1963 Disponibilité: Pour le prêt: CMI[03 RAS] (1). Actions: Add to Cart No cover image available
31.  Monographie The mathematics of metamathematics / Helena Rasiowa, Roman SikorskiType de document: Monographie.Collection: Monografie matematyczne ; 41Éditeur: Warszawa : Panstwowe Wydawnictwo Naukowe, 1968 Disponibilité: Pour le prêt: CMI[03 RAS] (3). Actions: Add to Cart No cover image available
Languages: English | Français | |