|
|
|
|
| LEADER |
00000cam a2200000uu 4500 |
| 001 |
3432e5cd-4358-4c52-ada5-00f38ca05225 |
| 005 |
20240802000000.0 |
| 008 |
151005s1987 riu o 000 0 eng d |
| 019 |
|
|
|a 922980528
|
| 020 |
|
|
|a 9780821876558
|
| 020 |
|
|
|a 0821876554
|
| 029 |
1 |
|
|a AU@
|b 000069467120
|
| 035 |
|
|
|a (OCoLC)990586121
|z (OCoLC)922980528
|
| 035 |
|
|
|a (OCoLC)ocn990586121
|
| 040 |
|
|
|a LIP
|b eng
|c LIP
|d OCLCO
|d EBLCP
|d OCLCF
|d AU@
|d OCLCQ
|d OCLCA
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCL
|
| 050 |
|
4 |
|a QA9.A1 ǂb A47 1985eb
|
| 082 |
0 |
4 |
|a 511.3
|
| 100 |
1 |
|
|a Simpson, Stephen G.
|
| 245 |
1 |
0 |
|a Logic and Combinatorics.
|
| 246 |
3 |
|
|a Contemporary Mathematics
|
| 246 |
3 |
|
|a Contemporary Mathematics, Volume 65
|
| 246 |
3 |
|
|a Logic and combinatorics: proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
|
| 260 |
|
|
|a Providence :
|b American Mathematical Society,
|c 1987.
|
| 300 |
|
|
|a 1 online resource (408 p.)
|
| 336 |
|
|
|a text
|b txt
|
| 337 |
|
|
|a computer
|b c
|
| 338 |
|
|
|a online resource
|b cr
|
| 490 |
1 |
|
|a Contemporary Mathematics ;
|v v.65
|
| 500 |
|
|
|a Description based upon print version of record.
|
| 500 |
|
|
|a ""Non Standard Universes with Strong Embeddings, and Their Finite Approximations""""Unprovable Theorems and Fast-Growing Functions""
|
| 505 |
0 |
|
|a ""Table of Contents""; ""Preface""; ""Dilators, Generalized Goodstein Sequences, Independence Results: A Survey""; ""Some Uses of Dilators in Combinatorial Problems, Part I""; ""Cross Products of Souslin Trees""; ""Ergodic Ramsey Theory""; ""Ultrafilters Related to Hindman's Finite Unions Theorem and its Extensions""; ""Logical Analysis of Some Theorems of Combinatorics and Topological Dynamics""; ""A Remark on Partition Relations for Infinite Ordinals, With an Application to Finite Combinatorics""; ""A Summary of ""On Ramsey-type Theorems and Their Provability in Weak Formal Systems""""
|
| 505 |
8 |
|
|a ""Provably Computable Functions and the Fast Growing Hierarcy""""Rigid Borel Sets and Better Quasiorder Theory""; ""Some Problems on Finite and Infinite Graphs""; ""The Metamathematics of the Graph Minor Theorem""; ""Summable Ultrafilters and Finite Sums""; ""On Undecidability of the Weakened Kruskal Theorem""; ""Well Quasi Orderings, Long Games, and a Combinatorial Study of Undecidability""; ""On the Theory of Quasi Ordinal Diagrams""; ""Improved Bounds to the Length of Proofs of Finitistic Consistency Statements""
|
| 546 |
|
|
|a English.
|
| 590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|x Congresses.
|
| 650 |
|
0 |
|a Combinatorial analysis
|x Congresses.
|
| 700 |
1 |
|
|a Simpson, Stephen G
|e Contributor.
|
| 710 |
2 |
|
|a AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics
|e Corporate Author.
|
| 710 |
2 |
|
|a American Mathematical Society,
|e Content Provider.
|
| 710 |
2 |
|
|a Institute of Mathematical Statistics,
|e Content Provider.
|
| 710 |
2 |
|
|a Society for Industrial and Applied Mathematics,
|e Content Provider.
|
| 711 |
2 |
|
|a AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics.
|
| 758 |
|
|
|i has work:
|a Logic and combinatorics (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCYGhB4GQPPXbfMDFYBTVfq
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
0 |
8 |
|i Print version:
|a Simpson, Stephen G.
|t Logic and Combinatorics.
|d Providence : American Mathematical Society, ©1987
|z 9780821850527
|
| 830 |
|
0 |
|a Contemporary Mathematics.
|
| 856 |
4 |
0 |
|u https://ebookcentral.proquest.com/lib/emerson/detail.action?docID=3112923
|z Full text (Emerson users only)
|t 0
|
| 999 |
1 |
0 |
|i 3432e5cd-4358-4c52-ada5-00f38ca05225
|l in00000270753
|s US-MBE
|m logic_and_combinatorics____________________________________________________1987_______ameria________________________________________simpson__stephen_g_________________e
|
| 999 |
1 |
1 |
|l in00000270753
|s ISIL:US-MBE
|i Emerson
|t BKS
|a EBooks
|c ProQuest
|d Other scheme
|x E-Resource
|p UNLOANABLE
|