Cantitate/Preț
Produs

ISILC - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974: Lecture Notes in Mathematics, cartea 499

Editat de G. H. Müller, A. Oberschelp, K. Potthoff
en Limba Engleză Paperback – dec 1975

Din seria Lecture Notes in Mathematics

Preț: 48919 lei

Puncte Express: 734

Carte tipărită la comandă

Livrare economică 10-24 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.

Specificații

ISBN-13: 9783540075349
ISBN-10: 3540075348
Pagini: 664
Ilustrații: VII, 651 p.
Dimensiuni: 155 x 235 x 35 mm
Greutate: 0.92 kg
Ediția:1975
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Mathematics

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.