01121nam a2200301 i 450099100109429970753620020507183144.0991220s1998 us ||| | eng 0883853272b10800098-39ule_instLE01306925ExLDip.to Matematicaeng511.3AMS 03-01Halmos, Paul Richard22815Logic as algebra /Paul Halmos, Steven Givant[Washington, D.C.] :Mathematical Association of America,c1998ix, 141 p. :ill. ;23 cm.The Dolciani mathematical expositions ;21Includes indexSymbolic and mathematical logicGivant, Steven R.authorhttp://id.loc.gov/vocabulary/relators/aut59680.b1080009821-09-0628-06-02991001094299707536LE013 03-XX HAL11 (1998)12013000118758le013-E0.00-l- 00000.i1090393828-06-02Logic as algebra1455751UNISALENTOle01301-01-99ma -engus 0101231nam a2200313 i 450099100081987970753620020507174009.0960902s1977 de ||| | eng 3540080686b10761676-39ule_instLE01302802ExLDip.to Matematicaeng510AMS 58-06AMS 58-XXBleuler, Konrad535146Differential geometrical methods in mathematical physics :proceedings of the Symposium held at the University of Bonn, July 1-4, 1975 /edited by K. Bleuler and A. ReetzBerlin :Springer-Verlag,1977v, 576 p. :ill. ;25 cmLecture notes in mathematics,0075-8434 ;570Differential geometryCongressesMathematical physicsCongressesReetz, Axel.b1076167623-02-1728-06-02991000819879707536LE013 58-XX BLE11 (1977)12013000057859le013-E0.00-l- 02020.i1085695x28-06-02Differential geometrical methods in mathematical physics923096UNISALENTOle01301-01-96ma -engde 01