Every Rooted Narrow Tree Kripke Model of HA is Locally PA
Mohammad Ardeshir, Bardyaa HesaamVolume:
48
Year:
2002
Language:
english
Pages:
5
DOI:
10.1002/1521-3870(200204)48:33.0.co;2-t
File:
PDF, 128 KB
english, 2002