00717nam0-22002531i-450-990001219720403321000121972FED01000121972(Aleph)000121972FED0100012197220000920d--------km-y0itay50------baengProof Methods for Modal and Intuitionistic Logicsby Fitting M.Boston [etc.]ReidelSynthese Library169Fitting,Melvin46831ITUNINARICAUNIMARCBK990001219720403321C-25-(169369MA1MA1Proof Methods for Modal and Intuitionistic Logics343155UNINAING01