94 records matched your query
01286nam a22003138a 4500 001 2A694A282AD611DEA0647705A8D7520A 005 200904161730.0 008 840810s1985 ne b 00000 eng 010 $a 84018856 020 $a 9780444876324 020 $a 0444876324 040 $a DLC $c DLC $d SILO $d SILO 050 0 $a QA9.46 $b .I57 1985 082 0 $a 511 $2 19 245 0 $a Intensional mathematics / $c edited by Stewart Shapiro. 260 0 $a New YorK, N.Y., U.S.A. : $a New York : $b Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., $a New YorK, N.Y., U.S.A. : $b Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., $c 1985. 263 $a 8412 300 $a v, 230 p. ; $c 23 cm. 440 0 $a Studies in logic and the foundations of mathematics $v v. 113 504 $a Includes bibliographies. 650 0 $a Constructive mathematics $x Addresses, essays, lectures. 650 0 $a Intuitionistic mathematics $x Addresses, essays, lectures. 650 0 $a Modality (Logic) $x Addresses, essays, lectures. 700 10 $a Shapiro, Stewart, $d 1951- 939 $a 1145150 941 $a 2 952 $l OVUX522 $d 20171226054320.0 952 $l USUX851 $d 20160806045025.0 956 $a http://locator.silo.lib.ia.us/search.cgi?index_0=id&term_0=2A694A282AD611DEA0647705A8D7520AInitiate Another SILO Locator Search