X
feed icon rss

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
    The Syntax and Semantics of Infinitary Languages (1968)
    Berlin [u.a.] : Springer
    Details
    UID:
    b3kat_BV041962142
    Format: 1 Online-Ressource
    ISBN: 9783540042426
    Series Statement: Lecture notes in mathematics 72
    Additional Edition: Erscheint auch als Druckausgabe ISBN 978-3-540-35900-5
    Language: English
    Subjects: Mathematics , Philosophy
    RVK:
    CC 2600
    RVK:
    SI 850
    Keywords: Formale Sprache ; Formale Sprache ; Syntax ; Formale Sprache ; Semantik ; Formale Sprache ; Syntax ; Semantik ; Konferenzschrift
    DOI: 10.1007/BFb0079679
    URL: Volltext
    Author information: Barwise, Jon 1942-2000
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    EUV Frankfurt
    HTW Berlin
    TH Wildau
    BTU Cottbus
  • 2
    Online Resource
    Online Resource
    The Syntax and Semantics of Infinitary Languages (1968)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9947921598902882
    Format: VI, 270 p. , online resource.
    ISBN: 9783540359005
    Series Statement: Lecture Notes in Mathematics, 72
    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.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540042426
    Language: English
    DOI: 10.1007/BFb0079679
    URL: http://dx.doi.org/10.1007/BFb0079679
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (Deutschlandweit zugänglich)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    Stabi Berlin
    HU Berlin
    UB Potsdam
  • 3
    Online Resource
    Online Resource
    The Syntax and Semantics of Infinitary Languages (1968)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edoccha_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
    DOI: 10.1007/BFb0079679
    URL: http://dx.doi.org/10.1007/BFb0079679
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    Charité
  • 4
    Online Resource
    Online Resource
    The Syntax and Semantics of Infinitary Languages (1968)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edocfu_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
    DOI: 10.1007/BFb0079679
    URL: http://dx.doi.org/10.1007/BFb0079679
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    FU Berlin
  • 5
    Online Resource
    Online Resource
    The Syntax and Semantics of Infinitary Languages (1968)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    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
    DOI: 10.1007/BFb0079679
    URL: http://dx.doi.org/10.1007/BFb0079679
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 9783504642426?
Did you mean 9783540024446?
Did you mean 9783540002246?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages