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

555 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

Del 499

Stochastic Models, Statistics and Their Applications

Ansgar Steland, Ewaryst Rafajłowicz, Nestor Parolya

Inbunden, 2025

1 982 kr

Del 499

Power of Concentration

Theron Q Dumont, Tim Zengerink

Häftad, 2025

295 kr

Del 499

Armies of the War of the Triple Alliance 1864–70

Gabriele Esposito

E-bok

2015

182 kr

Del 499

China Satellite Navigation Conference (CSNC) 2018 Proceedings

Jiadong Sun, Changfeng Yang, Shuren Guo

Inbunden, 2018

3 299 kr

Del 499

London Bus

James Taylor

Häftad, 2009

116 kr

Del 499

Technological Innovation for Smart Systems

Luis M. Camarinha-Matos, Mafalda Parreira-Rocha, Javaneh Ramezani

Häftad, 2018

1 104 kr

Del 499

Chauffeur des Direktors

Mia Graf

Inbunden, 2025

448 kr

Del 499

Proceedings of the Canadian Society for Civil Engineering Annual Conference 2023, Volume 5

Serge Desjardins, Gérard J. Poitras, Mazdak Nik-Bakht

Inbunden, 2024

3 299 kr

Del 499

Grundriß der pyrrhonischen Skepsis

Sextus Empiricus

Häftad, 1985

281 kr

Julia Wanselius - Estimating added and free sugars intake in Swedish adolescents : Methods, food sources, nutritional implications, and potential food label impact, Häftad

Del 499

Estimating added and free sugars intake in Swedish adolescents : Methods, food sources, nutritional implications, and potential food label impact

Julia Wanselius

Häftad, 2025

269 kr

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

555 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.