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

Books

The Bulletin of Symbolic Logic

, Volume 3
Front Cover
0 Reviews
Association for Symbolic Logic, 1997 - Logic - 26 pages

From inside the book

 

30 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

Symbolic logic
Symbolic logic
Irving M. Copi
Snippet view - 1954
Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in ...
Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in ...
Gert Heinz Müller,Gaisi Takeuti,Tosiyuki Tugué
Snippet view - 1981
Foundations of Set Theory
Foundations of Set Theory
A.A. Fraenkel,Y. Bar-Hillel,A. Levy
Limited preview - 1973
All related books »

Contents

Articles
9
Set theory generated by Abelian group theory by Paul C Eklof
17
On the decision problem for twovariable firstorder logic by Erich Gradel
58
Copyright

11 other sections not shown

Other editions - View all

The Bulletin of Symbolic Logic
The Bulletin of Symbolic Logic

Snippet view - 2009
The Bulletin of Symbolic Logic
The Bulletin of Symbolic Logic, Volume 1

Snippet view - 1995
The Bulletin of Symbolic Logic
The Bulletin of Symbolic Logic, Volume 14

Snippet view - 2008
View all »

Common terms and phrases

abstract algebraic algorithm argument-text arithmetic Association for Symbolic axioms Borel Borel equivalence relation bounded Cambridge Canada cardinality Church Coll Comp complete Computer Science construction countable defined definition denote Department of Mathematics Dept domain E-mail editors elements equivalence relation finite model first-order first-order logic fixed point formal formula Germany given Godel graph induction Info Inst interpretation intuitionistic intuitionistic logic isomorphism Japan Journal of Symbolic lambda calculus language Lemma linear linear logic Matematica Math metric space modal logic model theory natural numbers notation notion ordinal P.O. Box paper Philos predicate presheaf problem programming proof theory Proposition prove real number recursion theory recursive functions reduction result satisfies semantics sentence sequence set theory Skolem Springer-Verlag Stanford structure subset Symbolic Logic Tarski Theorem topological Turing type theory Univ University variables Well-Ordering Theorem Zermelo

Bibliographic information

QR code for The Bulletin of Symbolic Logic
TitleThe Bulletin of Symbolic Logic, Volume 3
The Bulletin of Symbolic Logic, The Bulletin of Symbolic Logic
ContributorAssociation for Symbolic Logic
PublisherAssociation for Symbolic Logic, 1997
Original fromthe University of Michigan
Digitized16 Mar 2010
Length26 pages
  
Export CitationBiBTeX EndNote RefMan