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

From inside the 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 development of set theory from Cantor to Cohen by Akj
1
Geometry calculus and Zilbers conjecture by Yaacov Peterzil and Sergei
72
From metabelian Qvector spaces to new costable groups by Olivier Cha
84
Copyright

23 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 1

Snippet view - 1995
View all »

Common terms and phrases

aconjunctive algebraic American Mathematical Society applied arithmetic arrows Association for Symbolic automorphism axiom of choice axiom system Boolean Borel c.e. sets calculus Cantor Church coding Coll comonad Comp Completeness Theorem Computer Science concept construction Corollary countable deduction theorem deductive completeness deductive system definable definition degrees denote Department of Mathematics Dept dissertation E-mail editors finite model theory finite structures first-order logic fixpoint formal functor Godel Hilbert implies induction infinite Inst isomorphic Journal of Symbolic Kechris Kleene Lambek language large cardinals linear logic Matematicas Math Mathematical Logic modal model theory natural numbers node notion objects obtained operation ordinal ordinal analysis P.O. Box paper Philos predicate problem proof theory propositional provable prove quantifiers recursion theory recursive functions recursively enumerable satisfies semantics sentences sequence set theory subset Symbolic Logic tableau Turing machine Univ University variables

Bibliographic information

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