Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.99 € GLS-Kurier 5.49 € DPD-Kurier 4.99 € DPD-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

From Sets and Types to Topology and Analysis

Name: From Sets and Types to Topology and Analysis
Brand: Oxford University Press
SKU: 04527834
Price: 286.29 EUR
Availability: InStock
Author: Laura Crosilla
ISBN: 9780198566519

Towards practicable foundations for constructive mathematics

Laura Crosilla

Peter Schuster

Sprache

Englisch

Buch Hardcover

Libristo-Code: 04527834

Verlag Oxford University Press, Oktober 2005

This edited collection bridges the foundations and practice of constructive mathematics and focusses... Vollständige Beschreibung

Libristo-Code: 04527834

700 b

286.29 € inkl. MwSt.

Externes Lager Wir versenden in 9-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Windflower Thomas Morgan

Audio CD

24.99 €

Storia di due amici e dei Dik Dik Pietruccio Montalbetti

Broschur

18.99 €

Mais do que amor Dixie Browning

Adobe ePub DRM

3.69 €

szolo edes ize Pamela Terry

Adobe ePub DRM

5.59 €

Lacht hoch die Tür ... das Herz macht weit Andreas Malessa

Broschur

17.00 €

Architectes du vertige Frémion

Broschur

25.79 €

Prolog. Batman Knightfall. Tom 1 Opracowanie zbiorowe

Hardcover

46.49 €

pleine conscience chez les adolescents a risque Rawlett Kristen Rawlett

Broschur

35.19 €

MUSICA 2ºESO GUIA MCGMU99PP GUTIERREZ

Buch

13.89 €

BABADADA black-and-white, Malti - norsk (nynorsk), dizzjunarju bl-istampi - visuell ordbok

Broschur

6.69 €

Přednášky profesora T. G. Masaryka na Chicagské univerzitě v létě roku 1902 Draga Shillinglaw-Kellick

Hardcover

12.39 €

LAS LLANURAS DEL TRANSITO NUEVA JEAN M AUEL

Broschur

27.89 €

Das Vertragsrecht des Wertpapierdarlehens Detlef Grimm

Broschur

113.99 €

Die Sichtbarkeit des Bildes Lambert Wiesing

Broschur

28.00 €

Qenna : entre dos fuegos Aitziber Saldias Torkemada

Broschur

18.29 €

Weib bei den Naturvoelkern Ferdinand Freiherr Von Reitzenstein

Broschur

29.90 €

Harry Potter und der Halbblutprinz, 22 Audio-CDs Joanne K. Rowling

Audio CD

39.95 €

Diseño y Desarrollo de framework para la creación de video-juegos Alberto Toglia

Broschur

137.09 €

Die Kastanie Heiderose Fischer-Nagel

Hardcover

8.99 €

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

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name From Sets and Types to Topology and Analysis

Autor Laura Crosilla, Peter Schuster

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2005

Anzahl der Seiten 372

EAN 9780198566519

ISBN 0198566514

Libristo-Code 04527834

Verlag Oxford University Press

Gewicht 688

Abmessungen 163 x 243 x 26

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert