LEADER 01616nam0 2200301 i 450 001 SUN0051332 005 20160111104236.245 010 $a08-218-5052-0$d0.00 100 $a20060906d1987 |0engc50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $a*Logic 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$1001SUN0043184$12001 $aContemporary mathematics$v65$1210 $aProvidence$cAmerican Mathematical Society$d1980-. 606 $a05Axx$xEnumerative combinatorics [MSC 2020]$2MF$3SUNC023597 606 $a03B40$xCombinatory logic and lambda-calculus [MSC 2020]$2MF$3SUNC024414 620 $aUS$dProvidence$3SUNL000273 702 1$aSimpson$b, Stephen George$3SUNV040303 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 $3SUNV035963 712 $aAmerican mathematical society$3SUNV001080$4650 801 $aIT$bSOL$c20200720$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Simpson - Logic and combinatorics.pdf$zContents 912 $aSUN0051332 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 4069 $e08 7219 I 20060906 996 $aLogic and combinatorics$91427588 997 $aUNICAMPANIA