LIBERO WebOPAC Catalogue Display (W561)

Catalogue Information
Field name	Details
Dewey Class	511.3
Title	The Syntax and Semantics of Infinitary Languages ([EBook] /) / edited by Jon Barwise.
Added Personal Name	Barwise, Jon editor.
Other name(s)	SpringerLink (Online service)
Publication	Berlin, Heidelberg : : Springer Berlin Heidelberg : : Imprint: Springer, , 1968.
Physical Details	VI, 270 p. : online resource.
Series	Lecture Notes in Mathematics 0075-8434 ; ; 72
ISBN	9783540359005
Contents note	Implicit definability and compactness in infinitary languages -- Some remarks on the model theory of infinitary languages -- Remarks on the theory of geometrical constructions -- Note on admissible ordinals -- An algebraic proof of the barwise compactness theorem -- Formulas with linearly ordered quantifiers -- Some problems in group theory -- Choice of infinitary languages by means of definability criteria; Generalized recursion theory -- Definability, automorphisms, and infinitary languages -- The hanf number for complete sentences -- Quantified algebras -- Normal derivability in classical logic -- A determinate logic -- (?1, ?) properties of unions of models.
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/BFb0079679
Links to Related Works	Subject References: Computer logic . Logics and Meanings of Programs . Mathematical logic . Mathematical Logic and Foundations . Mathematics . Mathematics, general . Authors: Barwise, Jon . Corporate Authors: SpringerLink (Online service) . Series: Lecture Notes in Mathematics . Classification: 511.3 .

Catalogue Display

The Syntax and Semantics of Infinitary Languages

Reviews