| 000 | 02226nmm a2200181Ia 4500 | ||
|---|---|---|---|
| 008 | 230306s9999||||xx |||||||||||||||||und|| | ||
| 020 | _a9780821876947 (online) | ||
| 245 | 0 |
_aLogic and computation : _bproceedings of a workshop held at Carnegie Mellon University, June 30July 2, 1987 |
|
| 260 |
_aProvidence, R.I. : _bAmerican Mathematical Society, _cc1990 |
||
| 300 | _a1 online resource (xiv, 297 p. : ill.) | ||
| 490 |
_aContemporary mathematics _vv. 106 _x10983627 |
||
| 500 | _aThe Workshop on Logic and Computation was held at Carnegie Mellon University on June 30July 2, 1987T.p. verso. | ||
| 504 | _aIncludes bibliographical references. | ||
| 505 |
_tSome theories conservative over intuitionistic arithmetic ; Ramsey interpreted: a parametric version of Ramsey's theorem ; Notions of closed subsets of a complete separable metric space in weak subsystems of secondorder arithmetic ; A note on polynomial time computable arithmetic ; Axiomatizations and conservation results for fragments of bounded arithmetic ; A smashbased hierarchy between PTIME and PSPACE (preliminary version) ; Polymorphic typed lambdacalculi in a typefree axiomatic framework ; Polynomial time computable arithmetic ; Metaprogramming in SIL ; _\rm WKL_0 _ and orderings of countable abelian groups ; Marriage theorems and reverse mathematics ; Computationally based set existence principles ; Hierarchy results for mixedtime ; Polynomial time equivalence types ; Program development through proof transformation ; Some models of Scott's theory _\rm LCF _ based on a notion of rate of convergence ; Sharply bounded arithmetic and the function _a \stackrel . 1 _ ; RadonNikodym theorem is equivalent to arithmetical comprehension _rMichael Beeson ; Gianluigi Bellin ; Douglas K Brown ; Wilfried Buchholz and Wilfried Sieg ; Samuel R Buss ; Peter G Clote ; Solomon Feferman ; Fernando Ferreira ; Chris Goad ; Kostas Hatzikiriakou and Stephen G Simpson ; Jeffry L Hirst ; Daniel Leivant ; Ken McAloon ; A Nerode and J B Remmel ; Frank Pfenning ; Rick Statman ; Gaisi Takeuti ; Xiaokang Yu |
||
| 650 | _aComputable functions | ||
| 700 | _aSieg Wilfried | ||
| 856 | _uhttp://www.ams.org/conm/106/ | ||
| 999 |
_c28521 _d28521 |
||