| Record ID | ia:decisionprocedur00ferr |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/decisionprocedur00ferr/decisionprocedur00ferr_marc.xml |
| Download MARC binary | https://www.archive.org/download/decisionprocedur00ferr/decisionprocedur00ferr_meta.mrc |
LEADER: 00745nam 22001932 45R0
001 NYUb13602120
003 NYU
005 20080409192456.0
008 080409s198606 nyu 000 0 eng d
035 $a(nnu-cims)tr2008d0e10276
040 $aNNU$cNNU
088 $aCS TR-226
100 1 $aFerro, Alfredo.
245 10 $aDecision procedures for elementary sublanguages of set theory. VII. Validity in set theory when a choice operator is present, $cby A. Ferro and E.G. Omodeo.
260 $aNew York:$bCourant Institute of Mathematical Sciences, New York University,$cJune 1986.
300 $a19 p.$c28 cm.
655 0 $aTechnical reports
700 1 $aOmodeo, E.
852 4 $aNNU$bNYU$bCourant$bTechRept$jCIMS CS TR-226$714471415$pN11989731$yAvailable$5N11989731