Volume 34; Issue 3

Notre Dame Journal of Formal Logic

Volume 34; Issue 3
1

On propositional quantifiers in provability logic.

Artemov, Sergei N., Beklemishev, Lev D.
Journal:
Notre Dame Journal of Formal Logic
Year:
1993
Language:
english
File:
PDF, 1.71 MB
english, 1993
2

Quadratic residues and $x^3+y^3=z^3$ in models of ${\rm IE}_1$ and ${\rm IE}_2$.

Smith, Stuart T.
Journal:
Notre Dame Journal of Formal Logic
Year:
1993
Language:
english
File:
PDF, 1.80 MB
english, 1993
4

'Good' defined in terms of 'better'.

Daniels, Charles B.
Journal:
Notre Dame Journal of Formal Logic
Year:
1993
Language:
english
File:
PDF, 637 KB
english, 1993
5

Significant parts and identity of artifacts.

Tzouvaras, Athanassios
Journal:
Notre Dame Journal of Formal Logic
Year:
1993
Language:
english
File:
PDF, 864 KB
english, 1993
6

Are we finite?

White, G.
Journal:
Notre Dame Journal of Formal Logic
Year:
1993
Language:
english
File:
PDF, 2.97 MB
english, 1993
7

Are we finite?

White, G.
Journal:
Notre Dame Journal of Formal Logic
Year:
1993
File:
PDF, 2.97 MB
1993