scientific article; zbMATH DE number 3003625

MaRDI QIDQ4483062zbMATH OpenFDO

Authors Jacques Herbrand

Publication date 1931

zbMATH Keywords

philosophy, logic

Cited in

(6)

• Untersuchungen zum Entscheidungsproblem der mathematischen Logik
• Sur les formes normales
• Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen
• Putnam's theorem on the complexity of models
• False lemmas in Herbrand
• Untersuchungen zum Entscheidungsproblem der mathematischen Logik.

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4483062)