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
From sets and types to topolog...
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
From sets and types to topology and analysis : towards practicable foundations for constructive mathematics / edited by Laura Crossila and Peter Schuster.
Saved in:
Bibliographic Details
Other Authors:
Crosilla, Laura
(Editor)
,
Schuster, Peter, 1966-
(Editor)
Format:
eBook
Language:
English
Published:
Oxford :
Clarendon,
2005.
Series:
Oxford logic guides ;
48.
Subjects:
Constructive mathematics
>
Congresses.
MATHEMATICS
>
Infinity.
MATHEMATICS
>
Logic.
Constructive mathematics
Constructieve wiskunde.
Analyse (wiskunde)
Topologie.
Electronic books.
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online Access:
Click for online access
Holdings
Description
Table of Contents
Similar Items
Staff View
Similar Items
Constructibility and mathematical existence
by: Chihara, Charles S., 1932-
Published: (1990)
Handbook of mathematical formulas
by: Bartsch, Hans-Jochen
Published: (1974)
Proof and knowledge in mathematics
Published: (1992)
Nonmonotonic reasoning
by: Antoniou, G. (Grigoris)
Published: (1997)
Mathematics without numbers : towards a modal-structural interpretation
by: Hellman, Geoffrey
Published: (1989)
Mathematics as a science of patterns
by: Resnik, Michael D.
Published: (1997)
Dictionary of classical and theoretical mathematics
Published: (2001)
Deflating existential consequence : a case for nominalism
by: Azzouni, Jody
Published: (2004)
The history of mathematical tables : from Sumer to spreadsheets
Published: (2003)
Category theory
by: Awodey, Steve, 1959-
Published: (2006)
A historian looks back : the calculus as algebra and selected writings
by: Grabiner, Judith V.
Published: (2010)
The Oxford Handbook of Philosophy of Mathematics and Logic
Published: (2005)
Reductive logic and proof-search : proof theory, semantics, and control
by: Pym, David J., et al.
Published: (2004)
Adventures in mathematics
by: Moskowitz, Martin A.
Published: (2003)
Doing mathematics : convention, subject, calculation, analogy
by: Krieger, Martin H.
Published: (2003)
Foundations without foundationalism : a case for second-order logic
by: Shapiro, Stewart, 1951-
Published: (1991)
Five hundred mathematical challenges
by: Barbeau, Edward, 1938-
Published: (1995)
Paradox and paraconsistency : conflict resolution in the abstract sciences
by: Woods, John (John Hayden)
Published: (2003)
Mathematical fallacies, flaws, and flimflam
by: Barbeau, Edward, 1938-
Published: (2000)
Conference in Modern Analysis and Probability
Published: (1984)
Statistical thought : a perspective and history
by: Chatterjee, Shoutir Kishore
Published: (2003)
Lectures in the history of mathematics
by: Bos, H. J. M.
Published: (1993)
Gardner's Workout : Training the Mind and Entertaining the Spirit.
by: Gardner, Martin
Published: (2001)
Mathematical logic
by: Chiswell, Ian, 1948-
Published: (2007)
Naturalism in mathematics
by: Maddy, Penelope
Published: (1997)
Logical reasoning with diagrams
Published: (1996)
Mathematical logic in the 20th century
Published: (2003)
Irresistible integrals : symbolics, analysis, and experiments in the evaluation of integrals
by: Boros, George, 1947-
Published: (2004)
Experiencing school mathematics : traditional and reform approaches to teaching and their impact on student learning
by: Boaler, Jo, 1964-
Published: (2002)
Topics in finite and discrete mathematics
by: Ross, Sheldon M.
Published: (2000)
Lambda Calculus with Types
by: Barendregt, Henk
Published: (2013)
She does math! : real-life problems from women on the job
Published: (1995)
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Published: (2010)
Proceedings of the 12Th Asian Logic Conference.
by: Downey, R. G. (Rod G.)
Published: (2013)
The mathematics of logic : a guide to completeness theorems and their applications
by: Kaye, Richard (Richard W.)
Published: (2007)
Applied latent class analysis
Published: (2002)
Diamond : a paradox logic
by: Hellerstein, N. S. (Nathaniel S.)
Published: (2010)
Bridge to abstract mathematics
by: Oberste-Vorth, Ralph W., 1959-
Published: (2012)
Equations from God : pure mathematics and Victorian faith
by: Cohen, Daniel J. (Daniel Jared), 1968-
Published: (2007)
An introduction to numerical analysis
by: Süli, Endre, 1956-
Published: (2003)
Prev
Next
Similar Items
Constructibility and mathematical existence
by: Chihara, Charles S., 1932-
Published: (1990)
Handbook of mathematical formulas
by: Bartsch, Hans-Jochen
Published: (1974)
Proof and knowledge in mathematics
Published: (1992)
Nonmonotonic reasoning
by: Antoniou, G. (Grigoris)
Published: (1997)
Mathematics without numbers : towards a modal-structural interpretation
by: Hellman, Geoffrey
Published: (1989)