DMCA

A Uniform Tableau Method for Intuitionistic Modal Logics I (1993)

Cached

Download Links

by Giambattista Amati , Fiora Pirri
Venue:STUDIA LOGICA
Citations:10 - 0 self