LEADER 01672nam0 2200313 i 450 
001 VAN0051332
005 20231212034645.572
010   $a08-218-5052-0
100   $a20060906d1987       |0itac50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $aLogic and combinatorics$eproceedings of the AMS-IMS-SIAM Joint Summer Research Conference  held August 4-10, 1985, with support from the National Science Foundation$fStephen G. Simpson editor
210   $aProvidence$cAmerican mathematical society$d1987
215   $aXI, 394 p.$d26 cm
410  1$1001VAN0043184$12001 $aContemporary mathematics$1210  $aProvidence$cAmerican Mathematical Society$v65
606   $a05Axx$xEnumerative combinatorics [MSC 2020]$3VANC023597$2MF
606   $a03B40$xCombinatory logic and lambda-calculus [MSC 2020]$3VANC024414$2MF
620   $aUS$dProvidence$3VANL000273
702  1$aSimpson$bStephen George$3VANV040303
712 12$aAMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Relationships between Continuum Theory and the theory of Dynamical Systems$e 1985$eArcata $3VANV035963
712   $aAmerican mathematical society$3VANV108732$4650
801   $aIT$bSOL$c20231215$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Simpson - Logic and combinatorics.pdf$zContents
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0051332
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   4069        $e08   7219      I       20060906            
996   $aLogic and combinatorics$91427588
997   $aUNICAMPANIA