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 1
Front Cover
0 Reviews
Association for Symbolic Logic, 1995 - Logic - 26 pages

From inside the book

 

52 pages matching applications 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

The mathematical work of S C Kleene by J R Shoenfield
9
Platonism and mathematical intuition in Kurt Godels thought by Charles
44
HODiR is a core model below 0 by John R Steel
75
Copyright

6 other sections not shown

Other editions - View all

The Bulletin of Symbolic Logic
The Bulletin of Symbolic Logic, Volume 3

Snippet view - 1997
The Bulletin of Symbolic Logic
The Bulletin of Symbolic Logic

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

Snippet view - 2008
View all »

Common terms and phrases

algebra algorithm American Mathematical Society arithmetic Association for Symbolic axioms Brouwer calculus choice sequences classical clauses cofinality Comp complete Computer Science concepts consistency construction continuum countable defined definition denote Department of Mathematics Dept derivation E-mail equivalent exists extension finite formula Germany Godel graph hierarchy inaccessible cardinal induction infinite inner model Inst intuitionistic iteration Journal of Symbolic Kechris Kleene labeled language large cardinals Lebesgue measurable Lemma linear linear logic lower bounds Math measurable cardinal modal logic model theory natural numbers node normal notion obtained ordinal P.O. Box paper Philos Philosophy predicate problem proof system proof theory properties propositional provable prove quantifiers real numbers recursion theory recursive functions regular cardinals relation rules semantics set of reals set theory singular cardinals Solovay structure subset Symbolic Logic Theorem tree Univ University variables Weyl Weyl's Woodin cardinals

Bibliographic information

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