arXiv Open Access 2013

On the comprehension schema in LP=>

Nick Thomas

Lihat Sumber

Abstrak

We construct a model of the comprehension schema in the logic LP=>.

math.LO

Nick Thomas

APA MLA BibTeX

Thomas, N. (2013). On the comprehension schema in LP=>. https://arxiv.org/abs/1306.0044

Lihat di Sumber

Informasi Jurnal