00629nam0-22002411i-450-990001136250403321000113625FED01000113625(Aleph)000113625FED0100011362520000920d1970----km-y0itay50------baengLogic and Proofby Bittinger MarvinLondonAddison-Wesley1970Bittinger,Marvin L.54527ITUNINARICAUNIMARCBK99000113625040332111-F-2910827MA1MA1Logic and Proof345232UNINAING01