Logic Conference : proceedings of the Internat. Summer Inst. and Logic Colloquium, Kiel 1974. Lecture notes in mathematics, vol. 499. Questo articolo non è disponibile.
Lingua: inglese
Editore: Springer, 1975
- Brossura
- Usato
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germaniabooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Venditore con 5 stelle
Venditore AbeBooks dal 18 marzo 2011
Non disponibile
Brossura
Condizione: Usato - Molto buono
EUR 5,95
Descrizione dell’articolo da parte del venditore
IV, 651 S. Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 950.
Codice articolo 2208448
- Titolo
- Logic Conference : proceedings of the Internat. Summer Inst. and Logic Colloquium, Kiel 1974. Lecture notes in mathematics, vol. 499
- Autore
- Müller, Gert H., A. Oberschelp and K. Potthoff:
- Editore
- Springer
- Anno di pubblicazione
- 1975
- Condizione
- Gut
- Rilegatura
- Broschiert
- Lingua
- inglese
- ISBN 10
- 3540075348
- ISBN 13
- 9783540075349
- Peso dell'articolo
- 950 grammi
- Cataloghi dei venditori
- 200 Mathematik
Isilc - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Contenuti
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.
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.