Pages that link to "Item:Q1257471"
From MaRDI portal
The following pages link to A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic (Q1257471):
Displayed 3 items.
The following pages link to A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic (Q1257471):
Displayed 3 items.