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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.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: 253.89 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

621 b

253.89 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Storia di due amici e dei Dik Dik Pietruccio Montalbetti

Broschur

16.89 €

Prolog. Batman Knightfall. Tom 1 Opracowanie zbiorowe

Hardcover

42.19 €

pleine conscience chez les adolescents a risque Rawlett Kristen Rawlett

Broschur

31.09 €

MUSICA 2ºESO GUIA MCGMU99PP GUTIERREZ

Buch

12.79 €

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

Broschur

5.99 €

Ošetrovateľstvo a legislatíva v praxi Zuzana Slezáková

Broschur

9.69 €

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

Hardcover

10.99 €

Fail-Lure Farsot

Audio CD

18.49 €

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

30.39 €

Die Kastanie Heiderose Fischer-Nagel

Hardcover

8.95 €

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