---

＜電子ブック＞
ISILC - Logic Conference : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / edited by G. H. Müller, A. Oberschelp, K. Potthoff
(Lecture Notes in Mathematics. ISSN:16179692 ; 499)

版	1st ed. 1975.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1975
大きさ	VII, 651 p : online resource
著者標目	Müller, G. H editor Oberschelp, A editor Potthoff, K editor SpringerLink (Online service)
件　名	LCSH:Mathematical logic FREE:Mathematical Logic and Foundations
一般注記	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 HTTP:URL=https://doi.org/10.1007/BFb0079414

 類似資料