Predicate logics of constructive arithmetical theories

Research output: Contribution to journal › Article › Academic › peer-review

Cite this

@article{8b4f71293fae49319dad2d242e2675a6,

title = "Predicate logics of constructive arithmetical theories",

author = "A. Visser",

year = "2006",

language = "Undefined/Unknown",

volume = "71",

pages = "1311--1326",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "4",

}