Search alternatives:
22mathematical logic » mathematical logic, mathematics logic, mathematical logical

2
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... -- A Perspective on Lindström Quantifiers and Oracles -- Generalized Quantifiers in Logic Programs -- A...