TY - BOOK ID - 1597173 TI - Mathematical logic AU - Arruda, Ayda I. AU - Brazilian conference on mathematical logic (1st : 1977 : Campinas) PY - 1978 VL - 39 SN - 0824767721 9780824767723 PB - New York (N.Y.): Dekker, DB - UniCat KW - Mathematical logic KW - Logic, symbolic and mathematical KW - Congresses KW - 510.6 KW - Logic, Symbolic and mathematical KW - -Algebra of logic KW - Logic, Universal KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Congresses. KW - -Mathematical logic KW - 510.6 Mathematical logic KW - -510.6 Mathematical logic KW - Algebra of logic KW - Logique mathématique KW - Logic, Symbolic and mathematical - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:1597173 AB - ER -