Title From sets and types to topology and analysis : towards practicable foundations for constructive mathematics / edited by Laura Crossila and Peter Schuster

Published Oxford : Clarendon, 2005

Click on the following:
Oxford Scholarship Online

Copies

Description 1 online resource (xix, 350 pages) : illustrations Series Oxford logic guides ; 48 Oxford logic guides ; 48. Contents List of Contributors; 1 Introduction; PART I: FOUNDATIONS; PART II: PRACTICE; Index Summary Bridging the foundations and practice of constructive mathematics, this text focusses on the contrast between the theoretical developments - which have been most useful for computer science - and more specific efforts on constructive analysis, algebra and topology Notes "This volume arose from the workshop, with the same title, held from 12 to 16 May, 2003 at Venice International University"--Preface Bibliography Includes bibliographical references and index Notes English Print version record Subject Constructive mathematics -- Congresses MATHEMATICS -- Infinity. MATHEMATICS -- Logic. Constructive mathematics Constructieve wiskunde. Analyse (wiskunde) Topologie. Genre/Form Electronic books proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Crosilla, Laura, editor Schuster, Peter, 1966- editor. ISBN 9780191524202 0191524204 0198566514 9780198566519 1423753100 9781423753100 1280754036 9781280754036 9780191713927 0191713929 9786610754038 6610754039

  Permalink