Embedding First Order Predicate Logic in Fragments of Intuitionistic Logic

Autoria(s): M. H. Löb
Data(s)

1976
Identificador

http://ir.iscas.ac.cn/handle/311060/1369

http://www.irgrid.ac.cn/handle/1471x/66486
Idioma(s)

中文
Fonte

M. H. Löb.Embedding First Order Predicate Logic in Fragments of Intuitionistic Logic .Journal of Symbolic Logic,1976,41(4):705-718
Tipo

期刊论文
Acesso ao item digital