Metadata
Author: Literature
Data
English[en]
Textbooks on temporal logic include those by Rescher and Urquhart (1971) and van Benthem (1983).
Spanish[es]
Los libros de texto incluyen las aproximaciones de Rescher y Urquhart (1971) y van Benthem (1983).