LEADER 00906nam0 2200253 450 001 000010474 005 20180704123320.0 100 $a20080428d1918----km-y0itay50------ba 101 0 $aeng 102 $aUS 105 $aa-------001yy 200 1 $a<>treatise on navigation and nautical astronomy$eincluding the theory of compass deviations, prepared for use as a textbook at the U.S. Naval Academy$fby W. C. P. Muir 205 $a4th ed., rev. and enl. 210 $aAnnapolis$cThe United States Naval Institute$d1918 215 $aXVI, 784 p.$cill.$d20 cm 610 1 $aNavigazione 610 1 $aAstronomia nautica 676 $a623.89$v18 700 1$aMuir,$bWilliam Carpenter Pendleton$0631080 801 0$aIT$bUNIPARTHENOPE$c20080428$gRICA$2UNIMARC 912 $a000010474 951 $a623.89/151$b23$cPIST 996 $aTreatise on navigation and nautical astronomy$91203643 997 $aUNIPARTHENOPE LEADER 01221nam2-2200361---450- 001 990003229260203316 005 20091110092528.0 035 $a000322926 035 $aUSA01000322926 035 $a(ALEPH)000322926USA01 035 $a000322926 100 $a20090427d1965----km-y0itay50------ba 101 $aeng 102 $aNL 105 $a||||||||001yy 200 1 $a<> foundations of intuitionistic mathematics$eespecially in relation to recursive functions$fStephen Cole Kleene, Richard Eugene Vesley 210 $aAmsterdam$cNorth-Holland$d1965 215 $aVIII, 206 p.$cill.$d23 cm 225 2 $aStudies in logic and the foundations of mathematics$v23 410 1$1001000334586$12001$aStudies in logic and the foundations of mathematics$v23 606 0 $aAlgebra 676 $a515 700 1$aKLEENE,$bStephen Cole$057809 701 $aVESLEY,$bRichard Eugene$047697 801 0$aIT$bsalbc$gISBD 912 $a990003229260203316 951 $a510 SL 23$b1627/CBS$c510$d00218705 959 $aBK 969 $aSCI 979 $aRSIAV7$b90$c20090427$lUSA01$h1405 979 $aRSIAV7$b90$c20091110$lUSA01$h0925 996 $aFoundations of intuitionistic mathematics$91013397 997 $aUNISA