A Framework for Priority Arguments

A Framework for Priority Arguments

by Lerman, Manuel

Type Book
Rate 0.0 /5

This book presents a unifying framework for using priority arguments to prove theorems in computability.

Read More ↓
Details
Files
Reviews
Download

Title Statements

  • Full title :A Framework for Priority Arguments.

Summary

This book presents a unifying framework for using priority arguments to prove theorems in computability.

Read More ↓

Edition Statements

  • Publication Date:2010.

Publication Statements

The Physical Object

  • Description:1 online resource (194 pages).

Edition Identifiers

  • ISBN:9780511744570, 0511744579
  • oclc:ocn638859711
  • LC Classification:QA9.54.L47 2010
  • Dewey Decimal:511.352

Table of Contents

Cover; Half-title; Series-title; Title; Copyright; CONTENTS; PREFACE; Chapter 1 INTRODUCTION; Chapter 2 SYSTEMS OF TREES OF STRATEGIES; Chapter 3 sigma1 CONSTRUCTIONS; Chapter 4 delta2 CONSTRUCTIONS; Chapter 5 pi2 CONSTRUCTIONS; Chapter 6 delta3 CONSTRUCTIONS; Chapter 7 sigma3 CONSTRUCTIONS; Chapter 8 PATHS AND LINKS; Chapter 9 BACKTRACKING; Chapter 10 HIGHER-LEVEL CONSTRUCTIONS; Chapter 11 INFINITE SYSTEMS OF TREES; REFERENCES.

Read More ↓

Subjects

Antériorité (Philosophie) Logic, Symbolic and mathematical Logique symbolique et mathématique Priority (Philosophy) Proof theory Théorie de la preuve

Writers

Lerman, Manuel

More from this Series

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • A Framework for Priority Arguments -- (.pdf)

    PDF · 1.1 MB · updated
    Login →