Logique et algèbre de Boole
Mathématiques et Sciences humaines, Tome 14 (1966) , pp. 9-21.
@article{MSH_1966__14__9_0,
     author = {Grize, Jean-Blaise},
     title = {Logique et alg\`ebre de Boole},
     journal = {Math\'ematiques et Sciences humaines},
     pages = {9--21},
     publisher = {Ecole Pratique des hautes \'etudes, Centre de math\'ematique sociale et de statistique},
     volume = {14},
     year = {1966},
     mrnumber = {199087},
     language = {fr},
     url = {archive.numdam.org/item/MSH_1966__14__9_0/}
}
Grize, Jean-Blaise. Logique et algèbre de Boole. Mathématiques et Sciences humaines, Tome 14 (1966) , pp. 9-21. http://archive.numdam.org/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