Tools

LEADER 01360cam 2200373 i 4500

001 ocm07171437;

005 20141212040012.0;

008 801202s1981 ne b 001 0 engm ;

010 a| 80027460;

020 a| 9027712026;

035 a| (Sirsi) o07171437;

035 a| (OCoLC)7171437;

049 a| ERE*;

050 00 a| QA9.47b| .G32;

082 0 a| 511/.22| 19;

100 1 a| Gabbay, Dov M.,d| 1945-=| ^A84439;

245 10 a| Semantical investigations in Heyting's intuitionistic logic /c| Dov M. Gabbay.;

300 a| x, 287 pages ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Synthese library ;v| v. 102;

500 a| Includes index.;

504 a| Bibliography: p. 280-284.;

600 10 a| Heyting, A.q| (Arend),d| 1898-1980=| ^A72232;

650 0 a| Intuitionistic mathematics.=| ^A18447;

870 19 j| 600/1a| Heyting, Arend,d| 1898-;

830 0 a| Synthese library ;v| v. 102.=| ^A4759;

919 a| BOOK;

596 a| 1;

998 a| 180289;

999 a| QA9.47 .G32w| LCc| 1i| 310372002077302d| 1/31/2013l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 7/19/1986x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay.

Author/creator	Gabbay, Dov M., 1945-
Format	Book
Publication Info	Dordrecht, Holland ; Boston : D. Reidel Pub. Co. ; Hingham, Mass. : Distributed in the U.S.A. and Canada by Kluwer Boston, ©1981.
Description	x, 287 pages ; 23 cm.
Subjects	Heyting, A. (Arend), 1898-1980 Intuitionistic mathematics.

Series	Synthese library ; v. 102 Synthese library ; v. 102. ^A4759
General note	Includes index.
Bibliography note	Bibliography: p. 280-284.
LCCN	80027460
ISBN	9027712026

Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay.

Click here for more information about this title