Author: "Cerro, Luis Fariñas del" / Journal: journal of symbolic logic - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Cerro, Luis Fariñas del"' showing total 2 results

Start Over Author "Cerro, Luis Fariñas del" Journal journal of symbolic logic

2 results on '"Cerro, Luis Fariñas del"'

1. Book Review: Temporal logics and their applications and Temporal logic and computer science: an overview and The use of temporal logic in the compositional specification of concurrent systems and Temporal logic programming and Three recent approaches to temporal reasoning and The logic of occurrence and Modal and temporal logic programming

Author: Cerro, Luis Fariñas Del
Published: 1990
Full Text: View/download PDF

2. Book Review: Automated proof search in non-classical logics. Efficient matrix proof methods for modal and intuitionistic logics

Author: Cerro, Luis Fariñas del
Published: 1993
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results