Semantical Investigations in Heyting's Intuitionistic Logic
Publisher: Gabbay Dov M; Springer Netherlands
Published: Dec 22, 2010
Format: paperback
Number of pages: 304
ISBN-13: 9789048183623
Notes: Source title: Semantical Investigations in Heyting's Intuitionistic Logic (Synthese Library)