Cover Image
Read Now

1
by Ben-Ari, Mordechai
Published 2001
Springer London
Table of Contents: “..., Tableaux -- 11.1 Introduction -- 11.2 Syntax and semantics -- 11.3 Models oftime -- 11.4 Semantic tableaux...”