Ebook: A Proof of Kamp’s Theorem
Author: Alexander Rabinovich
- Genre: Mathematics // Logic
- Tags: logic temporal logic first-order logic correspondence translation
- Series: Logical Methods in Computer Science Volume 10 Issue 1
- Year: 2014
- Language: English
- pdf
Download the book A Proof of Kamp’s Theorem for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)