ISBN: 9783540055693 - cambridge summer school in mathematical logic: held in cambridge /u. k., august 1-21, 1971: 337 (17 risultati)

Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1250grams, ISBN:354005569X.

Condizione: New.

Paperback. Condizione: new. Paperback. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Condizione: very good. Berlin: Springer,1973. Paperback. x,660 pp. (Lecture Notes in Mathematics, 337). Condition : very good copy. ISBN 9783540055693. Keywords : MATHEMATICS, logic.

Condizione: As New. Unread book in perfect condition.

Condizione: New. In English.

Condizione: New. pp. 680.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 676 | Sprache: Englisch | Produktart: Bücher | 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.…

Paperback. Condizione: new. Paperback. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Paperback. Condizione: Brand New. 676 pages. 9.25x6.10x1.53 inches. In Stock. This item is printed on demand.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 676 pp. Englisch.…

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 R. …

Condizione: New. Print on Demand pp. 680 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Condizione: New. PRINT ON DEMAND pp. 680.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 676 pp. Englisch.…