Tools

LEADER 01421cam a22003738a 4500

001 ocm11113852;

005 20141212072409.0;

008 840810s1985 ne b 000 0 eng ;

010 a| 84018856;

020 a| 0444876324 (U.S.);

035 a| (Sirsi) o11113852;

035 a| (OCoLC)11113852;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREEa| EREE;

050 00 a| QA9.46b| .I57 1985;

082 0 a| 5112| 19;

245 00 a| Intensional mathematics /c| edited by Stewart Shapiro.;

263 a| 8412;

300 a| v, 230 pages ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Studies in logic and the foundations of mathematics ;v| v. 113;

504 a| Includes bibliographies.;

650 0 a| Modality (Logic)=| ^A19030;

650 0 a| Constructive mathematics.=| ^A15921;

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

700 1 a| Shapiro, Stewart,d| 1951-=| ^A189255;

830 0 a| Studies in logic and the foundations of mathematicsv| v. 113.=| ^A16526;

919 a| BOOK;

596 a| 1;

998 a| 259646;

999 a| QA9.46 .I57 1985w| LCc| 1i| 30372003688394d| 1/31/2013e| 7/15/1992l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 2/7/1989x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Intensional mathematics / edited by Stewart Shapiro.

Other author	Shapiro, Stewart, 1951-
Format	Book
Publication Info	Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985.
Description	v, 230 pages ; 23 cm.
Subjects	Modality (Logic) Constructive mathematics. Intuitionistic mathematics.

Series	Studies in logic and the foundations of mathematics ; v. 113 Studies in logic and the foundations of mathematics v. 113. ^A16526
Bibliography note	Includes bibliographies.
LCCN	84018856
ISBN	0444876324 (U.S.)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.46 .I57 1985	✔ Available	Place Hold

Intensional mathematics / edited by Stewart Shapiro.

Click here for more information about this title

Availability