01591nam a2200361 i 450099100109388970753620020507183139.0990126s1987 us ||| | eng 0821850520b10800037-39ule_instLE01306919ExLDip.to Matematicaeng511.3AMS 03-06lc QA9.A1A47AMS-IMS-SIAM Joint Summer research conference in the mathematical sciences on applications of mathematical logic to finite combinatorics <1985 ; Humboldt State University>535953Logic and combinatorics :proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 /Stephen G. Simpson, editorProvidence, R.I. :American Mathematical Society,c1987xi, 394 p. :ill. ;26 cmContemporary mathematics,0271-4132 ;65Includes bibliographiesCombinatorial analysisCongressesMathematical logicCongressesSymbolic logicCongressesSimpson, Stephen G.authorhttp://id.loc.gov/vocabulary/relators/aut47524Institute of mathematical statistics SIAM <Philadelphia>.b1080003723-02-1728-06-02991001093889707536LE013 03-XX SIM11 (1987)12013000111131le013-E0.00-l- 00000.i1090387228-06-02Logic and combinatorics1745137UNISALENTOle01301-01-99ma -engus 01