01616nam0 2200301 i 450 SUN005133220160111104236.24508-218-5052-00.0020060906d1987 |0engc50 baengUS|||| |||||*Logic and combinatoricsproceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985, with support from the National Science FoundationStephen G. Simpson editorProvidenceAmerican mathematical society1987XI, 394 p.26 cm.001SUN00431842001 Contemporary mathematics65210 ProvidenceAmerican Mathematical Society1980-.05AxxEnumerative combinatorics [MSC 2020]MFSUNC02359703B40Combinatory logic and lambda-calculus [MSC 2020]MFSUNC024414USProvidenceSUNL000273Simpson, Stephen GeorgeSUNV040303AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Relationships between Continuum Theory and the theory of Dynamical Systems 1985Arcata SUNV035963American mathematical societySUNV001080650ITSOL20200720RICA/sebina/repository/catalogazione/documenti/Simpson - Logic and combinatorics.pdfContentsSUN0051332UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 4069 08 7219 I 20060906 Logic and combinatorics1427588UNICAMPANIA