Logique et algèbre de Boole
Grize, Jean-Blaise
Mathématiques et Sciences humaines, Tome 17 (1966), p. 9-21 / Harvested from Numdam
Publié le : 1966-01-01
@article{MSH_1966__14__9_0,
     author = {Grize, Jean-Blaise},
     title = {Logique et alg\`ebre de Boole},
     journal = {Math\'ematiques et Sciences humaines},
     volume = {17},
     year = {1966},
     pages = {9-21},
     mrnumber = {199087},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/MSH_1966__14__9_0}
}
Grize, Jean-Blaise. Logique et algèbre de Boole. Mathématiques et Sciences humaines, Tome 17 (1966) pp. 9-21. http://gdmltest.u-ga.fr/item/MSH_1966__14__9_0/

H.B. Curry, Leçons de logique algébrique. Paris, Gauthier-Villars, 1952, 163 p. | MR 45662 | Zbl 0048.00201

M. Eytan, Topologie et logique propositionnelle modale, Mathématiques et sciences humaines, 1965, 12, 29-30. | Numdam

P.R. Halmos, Lectures on Boolean Algebras. Princeton, Van Nostrand Company, 1963, IV + 147 p. | MR 167440 | Zbl 0114.01603

G.E. Hughes, D.G. Londey, The Elements of Formal Logic, (University Paperbacks) , London, Methuen, 1965, XII + 399 p.

S.C. Kleene, Introduction to Metamathematics, Amsterdam, North-Holland Publ. Company, 1952, VI + 550 p. | MR 51790 | Zbl 0047.00703

R. Martin, Logique contemporaine et formalisation, Paris, P.U.F., 1964, 230 p.

E. Mendelson, Introduction to Mathematical Logic, Princeton, Van Nostrand Company, 1964, X + 300 p. | MR 164867 | Zbl 0192.01901

P. Mittelstaedt, Philosophische Probleme der modernen Physik, Mannheim, Bibliographisches Institut, 1963, 152 p.

P. Rosenbloom, The Elements of Mathematical Logic, New York, Dover Publications, 1950, IV + 214 p. | MR 41070 | Zbl 0041.14804

A. Tarski, Logic, Semantics, Metamathematics, Oxford, Clarendon Press, 1956, XIV + 471 p. | MR 78296 | Zbl 0075.00702