| Record ID | harvard_bibliographic_metadata/ab.bib.11.20150123.full.mrc:833393749:1049 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.11.20150123.full.mrc:833393749:1049?format=raw |
LEADER: 01049cam a22002894a 4500
001 011939515-0
005 20090706145847.0
008 071213s2007 ne a b 010 0 eng
010 $a 2007943251
020 $a9781586038144 (softcover)
020 $a1586038141 (softcover)
035 0 $aocn245594541
040 $aDLC$cDLC
050 00 $aQA9$b.T67 2007
082 00 $a511.3$222
245 00 $aTopics in logic, philosophy and foundations of mathematics, and computer science :$bin recognition of professor Andrzej Grzegorczyk /$cedited by S. Krajewski ... [et al.].
260 $aAmsterdam ;$aWashington, DC :$bIOS Press,$cc2007.
300 $avi, 365 p. :$bill. ;$c25 cm.
500 $a"Book edition of Fundamenta informaticae, volume81, 1-3 (2007)"--T.p. verso.
504 $aIncludes bibliographical references.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aMathematics$xPhilosophy.
700 1 $aGrzegorczyk, Andrzej.
700 1 $aKrajewski, Stephen.
730 0 $aFundamenta informaticae.
988 $a20090417
906 $0DLC