01093nam a2200313 i 450099100074478970753620020507173031.0950726s1982 us ||| | eng 0198531737b10751385-39ule_instLE01301649ExLDip.to Matematicaeng511.3AMS 03B05QA9.3Segerberg, Krister48751Classical propositional operators :an exercise in the foundations of logic /by Krister SegerbergOxford :Clarendon Press,1982x, 151 p. ;24 cm.Oxford logic guides ;5Bibliography: p. [143]-144.Includes indexesPropositional calculus.b1075138523-02-1728-06-02991000744789707536LE013 03B SEG11 (1982)12013000033068le013-E0.00-l- 00000.i1084442928-06-02Classical propositional operators911501UNISALENTOle01301-01-95ma -engus 01