LEADER 00881nam0-22002891i-450-
001 990002560490403321
005 20040503124053.0
035   $a000256049
035   $aFED01000256049
035   $a(Aleph)000256049FED01
035   $a000256049
100   $a20030910d1959----km-y0itay50------ba
101 0 $aENG
200 1 $aConstructivity in Mathematics$eProceedings of the Colloquium held at Amsterdam from August 26 to 31, 1957$fEdited by A. Heyting.
210   $aAmsterdam$cNorth Holland$d1959.
215   $aviii, 297 p.$d24 cm
610 0 $aLogica e fondamenti
676   $a511.3
702  1$aHeyting,$bArend
710 11$aConstructivity in mathematics$0493309
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990002560490403321
952   $aMXXXII-B-7$b470$fMAS
959   $aMAS
996   $aConstructivity in Mathematics$9436963
997   $aUNINA

LEADER 00991nam0-22003491i-450-
001 990001005020403321
005 20100719112359.0
035   $a000100502
035   $aFED01000100502
035   $a(Aleph)000100502FED01
035   $a000100502
100   $a20001205d1965----km-y0itay50------ba
101 0 $aeng
200 1 $aIntroduction to switching and automata theory$fMichael A. Harrison
210   $aNew York [etc.]$cMcGraw-Hill$d1965
215   $axvii, 499 p.$cill.$d24 cm
610 0 $aCibernetica
610 0 $aTeoria degli automi
610 0 $aIntelligenza artificiale
676   $a510.78
700  1$aHarrison,$bMichael A.$047573
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001005020403321
952   $aFC-530-5$b6330$fSC1
952   $a8-038.001$b6346$fFI1
952   $a10 C 89$b574 CCE$fDINEL
959   $aFI1
959   $aDINEL
959   $aSC1
996   $aIntroduction to switching and automata theory$9354605
997   $aUNINA