arXiv Open Access 2014

Restructuring Logic

Joachim Derichs

Lihat Sumber

Abstrak

The outline of a programme for restructuring mathematical logic. We explain what we mean by "restructuring" and carry out exemplary parts of the programme.

Topik & Kata Kunci

math.LO

Penulis (1)

Joachim Derichs

Format Sitasi

APA MLA BibTeX

Derichs, J. (2014). Restructuring Logic. https://arxiv.org/abs/1403.2710

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2014
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓