ISILC - Logic Conference

Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

AvG. H. Müller,A. Oberschelp

Häftad, Engelska, 1975

Del 499 i serien Lecture Notes in Mathematics

543 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1975-12-01
Mått:155 x 235 x 36 mm
Vikt:990 g
Format:Häftad
Språk:Engelska, Franska
Serie:Lecture Notes in Mathematics
Antal sidor:651
Upplaga:1975
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540075349

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

An observation on the product of Silver's forcing.- Recursively unsolvable algorithmic problems and related questions reexamined.- Lectures on large cardinal axioms.- Indescribability properties and small large cardinals.- Marginalia to a theorem of Silver.- Computation theories: An axiomatic approach to recursion on general structures.- Closed models and hulls of theories.- Axioms of choice in Morse-Kelley class theory.- First-order logic and its extensions.- Set theory in infinitary languages.- Sur la méthode en histoire de la logioue.- The model theory of local fields.- Quantifier elimination.- Intensional semantics for natural language.- On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes.- Many-valued algorithmic logic.- The least ? 2 1 and ? 2 1 reflecting ordinals.- Data types as lattices.

Du kanske också är intresserad av

Study of Time

J. T. Fraser, F. C. Haber, G. H. Müller

Häftad, 2011

1 080 kr

Del 1103

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

G. H. Müller, M. M. Richter

Häftad, 1984

489 kr

Del 499

Moralia, Volume XVI

Plutarch

Inbunden, 2004

310 kr

-22%

Del 3

Lucia är död

Katarina Wennstam

Pocket, 2026

69 kr89 kr

-30%

En dold skönhet

Lucinda Riley

Pocket, 2026

(15)

69 kr99 kr

4 för 3

Del 8

Alter ego

Emelie Schepp

Pocket, 2026

99 kr

-30%

Kärlek på grekiska

Lucy Diamond

Pocket, 2026

(4)

69 kr99 kr

Del 499

Power of Concentration

Theron Q Dumont, Tim Zengerink

Häftad, 2025

288 kr

-30%

Bröllopsgästerna

Alison Espach

Pocket, 2026

(2)

69 kr99 kr

Del 499

China Satellite Navigation Conference (CSNC) 2018 Proceedings

Jiadong Sun, Changfeng Yang, Shuren Guo

Inbunden, 2018

3 226 kr