From Sets and Types to Topology and Analysis (Hardcover)

Langue : anglais

Edité par Oxford University Press, Oxford, 2005

0198566514 / 9780198566519

Série : Livre 7 sur 11 - Oxford Logic Guides

Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-UnisGrand Eagle Retail

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 12 octobre 2005

Livre relié

Etat: Neuf

EUR 326,85

 Frais de port gratuits 
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

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 multiple locations in the US or from the UK, depending on stock availability.…

N° de réf. du vendeur 9780198566519

Titre
From Sets and Types to Topology and Analysis (Hardcover)
Auteur
Laura Crosilla
Éditeur
Oxford University Press, Oxford
Année de publication
2005
État de l'article
new
Reliure
Hardcover
Langue
anglais
ISBN à 10 chiffres
0198566514
ISBN à 13 chiffres
9780198566519
Série
Livre 7 sur 11: Oxford Logic Guides

Grand Eagle Retail

Bensenville, IL, Etats-Unis

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 12 octobre 2005

Frais d'expédition à l'intérieur de ce pays : Etats-Unis

Article6 à 14 jours ouvrés6 à 16 jours ouvrés
Premier articleEUR 0,00EUR 0,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

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

Profil professionnel du vendeur

APOLLO ONLINE CORP.

605 Geddes Street
Wilmington, DE Etats-Unis 19805