LIBERO WebOPAC Catalogue Display (W561)

Catalogue Information
Field name	Details
Dewey Class	511.3
Title	⊨ISILC Logic Conference ([EBook] :) : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / / edited by Gert H. Müller, Arnold Oberschelp, Klaus Potthoff.
Added Personal Name	Müller, Gert H. editor.
	Oberschelp, Arnold editor.
	Potthoff, Klaus editor.
Other name(s)	SpringerLink (Online service)
Publication	Berlin, Heidelberg : : Springer Berlin Heidelberg, , 1975.
Physical Details	VII, 651 p. : online resource.
Series	Lecture Notes in Mathematics 0075-8434 ; ; 499
ISBN	9783540380221
Contents note	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.
System details note	Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site	http://dx.doi.org/10.1007/BFb0079414
Links to Related Works	Subject References: Mathematical logic . Mathematical Logic and Foundations . Mathematics . Authors: Müller, Gert H. . Oberschelp, Arnold . Potthoff, Klaus . Corporate Authors: SpringerLink (Online service) . Series: Lecture Notes in Mathematics . Classification: 511.3 .

Catalogue Display

⊨ISILC Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 /

Reviews