Search Images Maps Play YouTube News Gmail Drive More »
My library | Help | Advanced Book Search | Web History | Sign in

Books

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983:

Part 2: Computation and Proof Theory, Volume 2
Front Cover
M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, W. Thomas
0 Reviews
Springer, Dec 21, 1984 - Mathematics - 475 pages

From inside the book

 

19 pages matching fixed point in this book

Where's the rest of this book?

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books

Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers
Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers
P. Odifreddi
Limited preview - 1992
Lecture notes in mathematics
Lecture notes in mathematics, Volume 221
Albrecht Dold
Snippet view - 1971
Logic Colloquium '01: proceedings of the Annual European Summer Meeting of ...
Logic Colloquium '01: proceedings of the Annual European Summer Meeting of ...
Matthias Baaz,Sy D. Friedman,Jan Krajíček
Snippet view - 2005
All related books »

Contents

VORWORT
36
T CHONG C G JOCKUSCH
63
J N CROSSLEY J B REMMEL
80
Copyright

32 other sections not shown

Other editions - View all

Logic Colloquium: Proceedings of the Summer School and Colloquium in ...
Logic Colloquium: Proceedings of the Summer School and Colloquium in ...
René Cori
Snippet view - 2000
Provability, Computability and Reflection
Provability, Computability and Reflection
Lev D. Beklemishev
Snippet view - 1971
Logic Colloquium: Proceedings of the Summer School and Colloquium in ...
Logic Colloquium: Proceedings of the Summer School and Colloquium in ...
Samuel R. Buss,Petr Hájek,Pavel Pudlák
Snippet view - 1998
View all »

Common terms and phrases

1-generic algebra algorithm automata axioms basic sets binary Boolean bounded c)-conservative closure closure algebra complete construction contiguous degrees continuous Corollary countable decision problem defined definition denote elements equivalent example exp exp explicit fact final topology finite graphs finite structures finitely approximable first-order logic fixed point formal formula free variables function f given global predicates Hence implies induction infinite initial segment integers iteration Kleene language least fixed point Lemma Math mathematical matroids mergesort monotone Moschovakis natural numbers Nerode notion operative order type pair parallel programs partial function polynomial predicate variable problem proof of Theorem properties provable prove PTIME PTIME computable r.e. degrees r.e. sets recursion spaces recursion theory recursive functions recursively enumerable relation representation requirements rules satisfies second-order logic semantics sentence sequence star-finite strings subsets Suppose symbol Theorem topology tuple Turing degrees

Bibliographic information

QR code for Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
TitleProceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory, Volume 2
Lecture notes in logic
Volume 453 of Lecture notes in mathematics
London Mathematical Society lecture note series
Studies in logic and the foundations of mathematics
Studies in logic, language, and computation
EditorsM. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, W. Thomas
PublisherSpringer, 1984
Original fromthe University of Michigan
Digitized1 Feb 2010
Length475 pages
Subjects › 

Mathematics / Logic
  
Export CitationBiBTeX EndNote RefMan