TY  - DATA
AU  - Sieg Wilfried
TI  - Logic and computation: proceedings of a workshop held at Carnegie Mellon University, June 30July 2, 1987 
T2  - Contemporary mathematics 
SN  - 9780821876947 (online)
PY  - 1990///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Computable functions
N1  - The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30July 2, 1987T.p. verso; Includes bibliographical references; Some 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  ;;  \stackrel . 1; Michael 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
UR  - http://www.ams.org/conm/106/
ER  -