Bild 1 von 1

Standardbild

Cambridge Summer School in Mathematical Logic H. Rogers - Bild 1 von 1

Cambridge Summer School in Mathematical Logic von H. Rogers A. R. D. Mathias (1973, Taschenbuch)

buch-mimpf (20091)

100% positive Bewertungen

Preis:

€ 53,45

(inkl. MwSt.)

Gratis 3-Tage-Lieferung - Sendungsverfolgung

Lieferung zwischen Mi, 18. Jun und Do, 19. Jun

Rücknahme:

1 Monat Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.

Artikelzustand:

Neu

Titel: Cambridge Summer School in Mathematical Logic, Untertitel: Held in Cambridge /U. K., August 1-21, 1971, Einband: Taschenbuch, Autor: H. Rogers, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 676, Maße: 235x155x37 mm, Gewicht: 1007 g, Verkäufer: buch-mimpf, Schlagworte: Mathematische Logik Model Theory Summer School in Mathematical Logic logic mathematical logic set theory.

Sammeln Sie 53 Punkte | Mehr erfahrenzu eBay Plus-Punkten - wird in neuem Fenster oder Tab geöffnet

Über dieses Produkt

Produktinformation

Lectures on intuitionism.- Realizability: A retrospective survey.- Some applications of Kleene's methods for intuitionistic systems.- Notes on intuitionistic second order arithmetic.- Some properties of intuitionistic zermelo-frankel set theory.- Ouelques Resultats sur les Interpretations Fonctionnelles.- Combinator realizability of constructive finite type analysis.- The arithmetic theory of constructions.- The priority method for the construction of recursively enumerable sets.- Admissible ordinals and priority arguments.- Abstract computability versus analog-generability (a survey).- Infinitary combinatorics.- The maximum sum of a family of ordinals.- Effective implications between the "finite" choice axioms.- On descendingly complete ultrafilters.- XVI. A model for the negation of the axiom of choice.- Filters closed under MAHLO's and GAIFMAN's operation.- On chromatic number of graphs and set systems.- Countable models of set theories.- Errata.- Descriptive set theory in .- Modal model theory.- A preservation theorem for interpretations.- Vaught sentences and Lindstr¿m's regular relations.