Research Catalog

Aspects of incompleteness / by Per Lindström.

Title
Aspects of incompleteness / by Per Lindström.
Author
Lindström, Per, 1936-
Publication
Natick, Mass. : A.K. Peters, c2003.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA9.65 .L56 2003Off-site

Details

Description
x, 159 p.; 24 cm.
Series Statement
Lecture notes in logic ; 10
Uniform Title
Lecture notes in logic 10.
Subject
  • Incompleteness theorems
  • Recursion theory
  • Bewijstheorie
  • Onvolledigheidsstelling
  • Recursie
Bibliography (note)
  • Includes bibliographical references (p. 153-159) and index.
Processing Action (note)
  • committed to retain
Contents
Ch. 1 Preliminaries -- Ch. 2 Incompleteness -- Ch. 3 Numerations of r.e. sets -- Ch. 4 Axiomatizations -- Ch. 5 Partial conservativity -- Ch. 6 Interpretability -- Ch. 7 Degrees of interpretability -- Ch. 8 Generalizations.
ISBN
  • 156881173X (pbk. : acid-free paper)
  • 9781568811734 (pbk. : acid-free paper)
LCCN
^^2002066232
OCLC
  • 49525892
  • SCSB-11479165
Owning Institutions
Harvard Library