ISILC - Logic Conference

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

Häftad, Engelska, 1975

Av G. H. Müller, A. Oberschelp, K. Potthoff, G. H. Mller

709 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1975-12-01
Mått155 x 235 x 36 mm
Vikt990 g
FormatHäftad
SpråkEngelska, Franska
SerieLecture Notes in Mathematics
Antal sidor651
Upplaga1975
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540075349

Tillhör följande kategorier

Matematikens grunder inom Naturvetenskap och teknik

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