Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Fynda 4 pocketböcker till priset av 3 →

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

J. T. Fraser, F. C. Haber, G. H. Müller - Study of Time, Häftad

Study of Time

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

Häftad, 2011

1 080 kr

G. H. Müller, M. M. Richter - Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983, Häftad

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

M. M. Richter, G. H. Muller - Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983, E-bok

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

M. M. Richter, G. H. Muller

E-bok

2006

538 kr

Plutarch - Moralia, Volume XVI, Inbunden

Del 499

Moralia, Volume XVI

Plutarch

Inbunden, 2004

314 kr

G. H. Muller, F. C. Haber, J. T. Fraser - Study of Time, E-bok

Study of Time

G. H. Muller, F. C. Haber, J. T. Fraser

E-bok

2012

1 367 kr

Mats Jonsson - SIGNERAD - Not forever, Häftad

Signerad!

SIGNERAD - Not forever

Mats Jonsson

Häftad, 2026

219 kr

Malin Nordström - Kalla mig syster, Pocket

-30%

Del 1

Kalla mig syster

Malin Nordström

Pocket, 2026

(1)

69 kr99 kr

Ansgar Steland, Ewaryst Rafajłowicz, Nestor Parolya - Stochastic Models, Statistics and Their Applications, Inbunden

Del 499

Stochastic Models, Statistics and Their Applications

Ansgar Steland, Ewaryst Rafajłowicz, Nestor Parolya

Inbunden, 2025

1 938 kr

Theron Q Dumont, Tim Zengerink - Power of Concentration, Häftad

Del 499

Power of Concentration

Theron Q Dumont, Tim Zengerink

Häftad, 2025

288 kr

Caro Claire Burke - Yesteryear (svensk utgåva), Inbunden

-23%

Yesteryear (svensk utgåva)

Caro Claire Burke

Inbunden, 2026

199 kr259 kr