From Sets and Types to Topology and Analysis (Hardcover)

Language: English

Published by Oxford University Press, Oxford, 2005

0198566514 / 9780198566519

Series: Book 7 of 11 - Oxford Logic Guides

  • Hardcover
  • New
See all details

Seller: CitiRetail, Stevenage, United KingdomCitiRetail

5-star seller

AbeBooks seller since June 29, 2022

Hardcover

Condition: New

£ 265.49

£ 37.00 shipping 
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

Hardcover. 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 isup-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 Logic42. H. Rott: Change, Choice and Inference: A study of belief revision and nonmonotoic reasoning43. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 144. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 245. David J. Pym and Eike Ritter: Reductive Logic and Proof Search: Proof theory, semantics and control46. D.M. Gabbay and L. Maksimova: Interpolation andDefinability: Modal and Intuitionistic Logics47. John L. Bell: Set Theory: Boolean-valued models and independence proofs, third edition This edited collection bridges the foundations and practice of constructive mathematics. 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 item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Seller Inventory # 9780198566519

Title
From Sets and Types to Topology and Analysis (Hardcover)
Author
Laura Crosilla
Publisher
Oxford University Press, Oxford
Publication year
2005
Condition
new
Binding
Hardcover
Language
English
ISBN 10
0198566514
ISBN 13
9780198566519
Series
Book 7 of 11: Oxford Logic Guides

CitiRetail

Stevenage, United Kingdom

5-star seller

AbeBooks seller since June 29, 2022

Shipping rates from United Kingdom to U.S.A.

Item7 to 14 business days7 to 60 business days
First item£ 37.00£ 37.00
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay

Store description

Online business

Seller's business information

ABC BOOKS LIMITED

10 John Street
London, United Kingdom WC1N 2EB