Pages that link to "Item:Q672461"

The following pages link to Most general first order theorems are not recursively enumerable (Q672461):

Displaying 2 items.

• Logical forms: validity and variety of formalizations (Q6535310) (← links)
• Logical forms, substitutions and information types (Q6535318) (← links)