01672nam0 2200313 i 450 VAN005133220231212034645.57208-218-5052-020060906d1987 |0itac50 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 cm001VAN00431842001 Contemporary mathematics210 ProvidenceAmerican Mathematical Society6505AxxEnumerative combinatorics [MSC 2020]VANC023597MF03B40Combinatory logic and lambda-calculus [MSC 2020]VANC024414MFUSProvidenceVANL000273SimpsonStephen GeorgeVANV040303AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Relationships between Continuum Theory and the theory of Dynamical Systems 1985Arcata VANV035963American mathematical societyVANV108732650ITSOL20231215RICA/sebina/repository/catalogazione/documenti/Simpson - Logic and combinatorics.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0051332BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 4069 08 7219 I 20060906 Logic and combinatorics1427588UNICAMPANIA