From Sets And Types to Topology And Analysis: Towards Practicable Foundations for Constructive Mathematics - Couverture rigide

Livre 7 sur 11: Oxford Logic Guides
 
9780198566519: From Sets And Types to Topology And Analysis: Towards Practicable Foundations for Constructive Mathematics
Couverture rigide
ISBN 10 : 0198566514 ISBN 13 : 9780198566519
Editeur : Oxford University Press, 2005

Synopsis

This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories), and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logicians, mathematicians, philosophers and computer scientists Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope.

This is the latest volume in the Oxford Logic Guides, which also includes:

41. J.M. Dunn and G. Hardegree: Algebraic Methods in Philosophical Logic
42. H. Rott: Change, Choice and Inference: A study of belief revision and nonmonotoic reasoning
43. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 1
44. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 2
45. David J. Pym and Eike Ritter: Reductive Logic and Proof Search: Proof theory, semantics and control
46. D.M. Gabbay and L. Maksimova: Interpolation and Definability: Modal and Intuitionistic Logics
47. John L. Bell: Set Theory: Boolean-valued models and independence proofs, third edition

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories), and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logicians, mathematicians, philosophers and computer scientists Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope. This is the latest volume in the Oxford Logic Guides, which also includes: 41. J.M. Dunn and G. Hardegree: Algebraic Methods in Philosophical Logic 42. H. Rott: Change, Choice and Inference: A study of belief revision and nonmonotoic reasoning 43. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 1 44. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 2 45. David J. Pym and Eike Ritter: Reductive Logic and Proof Search: Proof theory, semantics and control 46. D.M. Gabbay and L. Maksimova: Interpolation and Definability: Modal and Intuitionistic Logics 47. John L. Bell: Set Theory: Boolean-valued models and independence proofs, third edition

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Oxford University Press
Date d'édition
2005
Langue
anglais
ISBN 10 
0198566514
ISBN 13 
9780198566519
Reliure
Relié
Nombre de pages
372
Éditeur
Crosilla Laura, Schuster Peter
Coordonnées du fabricant
non disponible
Personne responsable
Ufficio Anagrafiche Messaggerie
ufficio.anagrafiche@meli.it

Via Verdi, 8
Assago Milano
20090
Italie