Search alternatives:
synthesis library » synthesis linear, synthesis summary
synthese library » synthetic library, synthese linearer
Cover Image
Read Now

1
Published 1995
Springer Netherlands
Table of Contents: “... Logic: A Survey -- Theory of Linear Order in Extended Logics -- Henkin Quantifiers -- Continuous...”
Cover Image
Read Now

2
Published 1995
Springer Netherlands
Table of Contents: “... -- Theories of Finitely Determinate Linear Orderings in Stationary Logic -- Definable Second-Order Quantifiers...”