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