Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Sets and proofs :
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss.
Saved in:
Bibliographic Details
Corporate Authors:
Logic Colloquium Leeds, England
,
Association for Symbolic Logic
Other Authors:
Cooper, S. B. (S. Barry)
,
Truss, J. K.
Format:
Conference Proceeding
Book
Language:
English
Published:
New York :
Cambridge University Press,
1999.
Series:
London Mathematical Society lecture note series ;
258
Subjects:
Set theory
>
Congresses.
Proof theory
>
Congresses.
Holdings
Description
Similar Items
Staff View
Similar Items
Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
Published: (1981)
Set theory : annual Boise Extravaganza in Set Theory (BEST) Conference, March 13-15, 1992, April 10-11, 1993, March 25-27, 1994, Boise State University, Boise, Idaho
Published: (1996)
Set theory and its applications : annual Boise Extravaganza in Set Theory, Boise, Idaho, 1995-2010
Published: (2011)
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977
Published: (1978)
Axiomatic set theory
Published: (1984)
Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar 1979-81
Published: (1983)
Trends in set theory : Simon Fest, conference in honor of Simon Thomas's 60th birthday, September 15-17, 2017, Rutgers University, Piscataway, New Jersey
Published: (2020)
Set theory and its applications : proceedings of a conference held at York University, Ontario, Canada, Aug. 10-21, 1987
Published: (1989)
Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings]
Published: (1976)
Computational prospects of infinity. Part I, Tutorials
Published: (2008)
Set theory : an introduction to independence proofs
by: Kunen, Kenneth
Published: (1980)
Sets : naive, axiomatic, and applied
by: Dalen, D. van
Published: (1978)
Set theory, logic, and their limitations
by: Maḥover, Mosheh
Published: (1996)
Set theory and its logic.
by: Quine, W. V. (Willard Van Orman)
Published: (1969)
Geometric set theory
by: Larson, Paul B. (Paul Bradley), 1970-, et al.
Published: (2020)
The joy of sets : fundamentals of contemporary set theory
by: Devlin, Keith J.
Published: (1993)
Set theory : with an introduction to descriptive set theory
by: Kuratowski, Kazimierz, 1896-1980
Published: (1976)
Borel liftings of Borel sets : some decidable and undecidable statements
by: Debs, Gabriel, 1952-
Published: (2007)
Point sets.
by: Čech, Eduard, 1893-1960
Published: (1969)
Introduction to set theory
by: Hrbacek, Karel, 1944-
Published: (1999)
Abstract set theory.
by: Fraenkel, Abraham Adolf, 1891-1965
Published: (1953)
Surveys in set theory
Published: (1983)
Algebraic set theory
by: Joyal, André
Published: (1995)
Abstract set theory.
by: Fraenkel, Abraham Adolf, 1891-1965
Published: (1966)
Sets and integration. An outline of the development.
by: Dalen, D. van
Published: (1972)
ISILC Proof Theory Symposium : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Published: (1975)
Philosophical introduction to set theory
by: Pollard, Stephen
Published: (1990)
Classical descriptive set theory
by: Kechris, A. S., 1946-
Published: (1995)
Introduction to modern set theory
by: Roitman, Judith
Published: (1989)
Numbers, sets, and axioms : the apparatus of mathematics
by: Hamilton, A. G., 1943-
Published: (1982)
Axiomatic set theory
by: Takeuti, Gaisi, 1926-
Published: (1973)
Descriptive set theory
by: Moschovakis, Yiannis N.
Published: (1980)
Descriptive set theory
by: Moschovakis, Yiannis N.
Published: (2009)
Combinatorial set theory
by: Williams, Neil H.
Published: (1977)
Introduction to set theory
by: Monk, J. Donald (James Donald), 1930-
Published: (1969)
The Nuts and Bolts of Proofs.
by: Cupillari, Antonella
Published: (2005)
A hierarchy of formulas in set theory,
by: Lévy, Azriel
Published: (1965)
Descriptive set theory and definable forcing
by: Zapletal, Jindřich, 1969-
Published: (2004)
Combinatorial set theory : partition relations for cardinals
Published: (1984)
Introduction to axiomatic set theory
by: Takeuti, Gaisi, 1926-
Published: (1982)
Prev
Next
Similar Items
Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
Published: (1981)
Set theory : annual Boise Extravaganza in Set Theory (BEST) Conference, March 13-15, 1992, April 10-11, 1993, March 25-27, 1994, Boise State University, Boise, Idaho
Published: (1996)
Set theory and its applications : annual Boise Extravaganza in Set Theory, Boise, Idaho, 1995-2010
Published: (2011)
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977
Published: (1978)
Axiomatic set theory
Published: (1984)