Volume 59; Issue 1

Notre Dame Journal of Formal Logic

Volume 59; Issue 1
1

Negation-Free and Contradiction-Free Proof of the Steiner–Lehmus Theorem

Pambuccian, Victor
Journal:
Notre Dame Journal of Formal Logic
Year:
2018
Language:
english
File:
PDF, 364 KB
english, 2018
2

Classifications of Computable Structures

Lange, Karen, Miller, Russell, Steiner, Rebecca M.
Journal:
Notre Dame Journal of Formal Logic
Year:
2018
Language:
english
File:
PDF, 505 KB
english, 2018
3

Invariance and Definability, with and without Equality

Bonnay, Denis, Engström, Fredrik
Journal:
Notre Dame Journal of Formal Logic
Year:
2018
Language:
english
File:
PDF, 445 KB
english, 2018
4

Errata

Journal:
Notre Dame Journal of Formal Logic
Year:
2018
Language:
english
File:
PDF, 224 KB
english, 2018