Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>
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¿ode 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.
| Serija: | Lecture Notes in Mathematics |
| Leidėjas: | Springer Berlin Heidelberg |
| Išleidimo metai: | 1975 |
| Knygos puslapių skaičius: | 664 |
| ISBN-10: | 3540075348 |
| ISBN-13: | 9783540075349 |
| Formatas: | 235 x 155 x 36 mm. Knyga minkštu viršeliu |
| Kalba: | Anglų |
Parašykite atsiliepimą apie „ISILC - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974“
