Logic in Action - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2015
No file

Dates and versions

hal-01261490 , version 1 (25-01-2016)

Identifiers

  • HAL Id : hal-01261490 , version 1

Cite

Johan van Benthem, Hans Van Ditmarsch, Jan Van van Eijck, Jan Jaspars. Logic in Action. 2015. ⟨hal-01261490⟩
202 View
0 Download

Share

Gmail Facebook X LinkedIn More