ISILC - Logic Conference
Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
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…
Mehr
CHF 72.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Oberschelp, A. (Hrsg.) / Potthoff, K. (Hrsg.)
- ISBN: 978-3-540-07534-9
- EAN: 9783540075349
- Produktnummer: 3658606
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch / Französisch
- Erscheinungsjahr: 1975
- Seitenangabe: 664 S.
- Masse: H23.5 cm x B15.5 cm x D3.5 cm 990 g
- Auflage: 1975
- Abbildungen: Paperback
- Gewicht: 990
6 weitere Werke von G. H. (Hrsg.) Müller:
The Study of Time
Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Ebook (PDF Format)
CHF 130.00
Bewertungen
Anmelden