| Record ID | harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:955368261:1833 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:955368261:1833?format=raw |
LEADER: 01833nam a22004335a 4500
001 013840317-1
005 20131206201645.0
008 121227s1992 xxu| s ||0| 0|eng d
020 $a9781461228226
020 $a9781461228226
020 $a9781461276852
024 7 $a10.1007/978-1-4612-2822-6$2doi
035 $a(Springer)9781461228226
040 $aSpringer
050 4 $aQA8.9-10.3
072 7 $aPBC$2bicssc
072 7 $aPBCD$2bicssc
072 7 $aMAT018000$2bisacsh
082 04 $a511.3$223
100 1 $aMoschovakis, Yiannis N.,$eeditor.
245 10 $aLogic from Computer Science :$bProceedings of a Workshop held November 13–17, 1989 /$cedited by Yiannis N. Moschovakis.
264 1 $aNew York, NY :$bSpringer New York,$c1992.
300 $aXI, 608p. 10 illus.$bonline resource.
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
347 $atext file$bPDF$2rda
490 1 $aMathematical Sciences Research Institute Publications,$x0940-4740 ;$v21
520 $aTopics of this proceedings volume will include Computability and Complexity of Higher Type Functions by Stephen Cook, Logics for Termination and Correctness of Functional Programs by Solomon Feferman, Reals and Forcing with Elementary Topos by the well known mathematician, Saunders MacLane and Ieke Moerdijk, and Concurrent Computation as Game Playing by Anil Nerode.
650 10 $aMathematics.
650 0 $aMathematics.
650 0 $aComputer science.
650 0 $aLogic, Symbolic and mathematical.
650 24 $aMathematical Logic and Foundations.
650 24 $aMathematical Logic and Formal Languages.
776 08 $iPrinted edition:$z9781461276852
830 0 $aMathematical Sciences Research Institute Publications ;$v21.
988 $a20131119
906 $0VEN