01675nam0 2200313 i 450 VAN0005133220240806100456.17108-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 cm001VAN000431842001 Contemporary mathematics210 ProvidenceAmerican Mathematical Society6503B40Combinatory logic and lambda-calculus [MSC 2020]VANC024414MF05AxxEnumerative combinatorics [MSC 2020]VANC023597MFUSProvidenceVANL000273SimpsonStephen 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 societyVANV108732650ITSOL20240906RICA/sebina/repository/catalogazione/documenti/Simpson - Logic and combinatorics.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00051332BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 4069 08 7219 I 20060906 Logic and combinatorics1427588UNICAMPANIA