J.Barwise, S.Feferman
Model-Theoretic Logecs - Berlin Springer 1985 - 793
English
0387909362
Introduction, Basic Theory and Examples Finitary Languages with Additional Quantifers Infinitary Languages
Model-Theoretic Logecs - Berlin Springer 1985 - 793
English
0387909362
Introduction, Basic Theory and Examples Finitary Languages with Additional Quantifers Infinitary Languages