Model theory for infinitary logic : logic with counjunctions and finite quantifiers / H. Jerome Keisler.

Opis

Keisler, H. Jerome.

    Model theory for infinitary logic : logic with counjunctions and finite quantifiers / H. Jerome Keisler.
    Amsterdam ;London : North-Holland Publishing Company, 1971. X, 208 s. : il. ; 23 cm.
    (Studies in Logic and the Foundations of Mathematics ; vol. 62)
    (Studies in Logic and the Foundations of Mathematics ISSN 0049-237X vol. 62)
    ISBN 0-7204-2258-2


Teoria modeli.

   
BU.121761