Logic and Computation

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Logic and Computation

Edition Statements

Publication Date:1990.

Publication Statements

Publisher(s):American mathematical Society
Place of Publication:Providence
Language:eng
Publication Date:1990.

Notes

Description based upon print version of record.

The Physical Object

Description:1 online resource (314 p.)

Edition Identifiers

ISBN:0821851101, 9780821851104, 9780821876947, 0821876945
oclc:ocn990408323
LC Classification:QA9.59 ǂb .W67 1987eb
Dewey Decimal:511.3

""Contents""; ""Preface""; ""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 second order arithmetic""; ""A note on polynomial time computable arithmetic""; ""Axiomatizations and conservation results for fragments of bounded arithmetic""; ""A smash-based hierarchy between PTIME and PSPACE""; ""Polymorphic typed lambda-calculi in a type-free axiomatic framework""; ""Polynomial time computable arithmetic""

""Metaprogramming in SIL""""W K Lo and orderings of countable abelian groups""; ""Marriage theorems and reverse mathematics""; ""Computationally based set existence principles""; ""Hierarchy results for mixed-time""; ""Polynomial time equivalence types""; ""Program development through proof transformation""; ""Some models of Scott's theory LC F based on a notion of rate of convergence""; ""Sharply bounded arithmetic and the function a -1""; ""Radon-nikodym theorem is equivalent to arithmetical comprehension""

Subjects

Actes de congrès Computable functions -- Congresses. -- … Computable functions -- Data processing Conference papers and proceedings Fonctions calculables -- Congrès. -- In… Mathematical Theory mathematics Physical Sciences & Mathematics