scientific article; zbMATH DE number 3003625
From MaRDI portal
Publication:4483062
zbMath0003.29003MaRDI QIDQ4483062
Publication date: 1931
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Untersuchungen zum Entscheidungsproblem der mathematischen Logik. ⋮ Sur les formes normales ⋮ False lemmas in Herbrand ⋮ Putnam’s Theorem on the Complexity of Models ⋮ Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen ⋮ Untersuchungen zum Entscheidungsproblem der mathematischen Logik
This page was built for publication:
