03342nam 2200565 450 00001121020050718115400.00-8218-5052-020020719d1987----km-y0itay0103----baengUSLogic and combinatoricsproceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985, with supprot from the National Science FoundationStephen G. Simpson, editorProvidenceRhode IslandAmerican Mathematical Societyc1987XI, 394 p.ill.25 cm.Contemporary mathematics65Logica matematicaCongressiAnalisi combinatoriaCongressi511.3(20. ed.)Logica matematica (Logica simbolica)03-06Mathematical logic and foundations. Proceedings, conferences, collections, etc.05-06Combinatorics. Proceedings, conferences, collections, etc.03F05Mathematical logic and foundations. Proof theroy and constructive mathematics. Cut-elimination and normal-form theorems03F10Mathematical logic and foundations. Proof theroy and constructive mathematics. Functionals in proof theory03F15Mathematical logic and foundations. Proof theroy and constructive mathematics. Recursive ordinals and ordinal notations03F30Mathematical logic and foundations. Proof theroy and constructive mathematics. First-order arithmetic and fragments03F35Mathematical logic and foundations. Proof theroy and constructive mathematics. Second- and higher-order arithmetic and fragments03E05Mathematical logic and foundations. Set theory. Other combinatorial set theory03E10Mathematical logic and foundations. Set theory. Ordinal and cardinal numbers03D20Mathematical logic and foundations. Computability and recursion theory. Recursive functions and relations, subrecursive hierarchies03D15Mathematical logic and foundations. Computability and recursion theory. Complexity of computation03C62Mathematical logic and foundations. Model theory. Models of arithmetic and set theory05C05Combinatorics. Graph theory. Trees05C15Combinatorics. Graph theory. Coloring of graphs and hypergraphs05C55Combinatorics. Graph theory. Generalized Ramsey theory05C65Combinatorics. Graph theory. HypergraphsAMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics(Humbolt State University,1985)440747ITUniversità della Basilicata - B.I.A.RICAunimarc000011210Logic and combinatorics79048UNIBASMONSCIMONOGRSCIENZEEXT0020120020719BAS01120020050601BAS011754batch0120050718BAS01105120050718BAS01111020050718BAS01114020050718BAS011154BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT63935S639352002071951Riservati