Concepedia

A formula with no recursively enumerable model

Andrzej Mostowski

Fundamenta Mathematicae · 1955 · 37 citations · 0 references

DOIFull text

Open access

Concepts