Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    UID:
    almafu_9959185507502883
    Format: 1 online resource (VI, 270 p.)
    Edition: 1st ed. 1968.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-35900-1
    Series Statement: Lecture Notes in Mathematics, 72
    Note: Bibliographic Level Mode of Issuance: Monograph , 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. , English
    In: Springer eBooks
    Additional Edition: ISBN 0-387-04242-3
    Additional Edition: ISBN 3-540-04242-3
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages