Embedding first order predicate logic in fragments of intuitionistic logic von Löb, Martin H. 1921-2006

Proceedings of the Summer School in logic, Leeds, 1967 N.A.T.O. Advanced Study Institute, meeting of the association for symbolic logic

Weitere Verfasser: “… Löb, Martin H. 1921-2006 …”

Proceedings of the Summer School in Logic Leeds, 1967 N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic

Weitere Verfasser: “… Löb, Martin H. 1921-2006 …”
DE-12
DE-634
DE-526
DE-210
DE-521
DE-1046
DE-Aug4
DE-573
DE-M347
DE-859
DE-860
DE-523
DE-70
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-706
DE-29
DE-739
Volltext