Search alternatives:
proving finite » proving definite, proving infinite, moving finite
Cover Image
Read Now

1
Published 1995
Springer Netherlands
Table of Contents: “... ?-Symbol in the Presence of Generalized Quantifiers -- Partially Ordered Connectives and Finite Graphs...”
Cover Image
Read Now

2
Published 2003
Springer Netherlands
Table of Contents: “... in the category of quantales -- 8 On minimal event and concrete data structures -- 9 A note on strongly finite...”
Cover Image
Read Now

3
Published 1981
Springer Netherlands
Table of Contents: “... -- Arithmetic -- Automata -- Automata, finite -- Categorial grammar -- Classes, theory of -- Combinatory logic...”