Semantic entailment and formal derivability
by E. W. Beth.
Amsterdam : Noord-Hollandsche Uitg. Mij., 1955.
34 págs. : ilustraciones ; 24 cm.
Serie: Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen. Afd. Letterkunde. Nieuwe reeks ; deel 18, no. 13
Título de la cubierta.
Páginas también numeradas 309-342.
Incluye referencias bibliográficas.
Reseña: MathSciNet, 19,625b