Sur les formes normales

DOI10.2748/TMJ/1178245231zbMath0056.01102OpenAlexW1986694129MaRDI QIDQ2651856

Yosihisa Izumi

Publication date: 1954

Published in: Tôhoku Mathematical Journal. Second Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2748/tmj/1178245231

zbMATH Keywords

Philosophy and foundations of mathematics

Cites Work

• Unnamed Item
• Unnamed Item
• Untersuchungen über das logische Schliessen. I
• Beiträge zum Entscheidungsproblem der mathematischen Logik
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Untersuchungen über das Entscheidunsproblem des mathematischen Logik
• On the reduction of the decision problem
• On the reduction of the decision problem. Third paper. Pepis prefix, a single binary predicate

This page was built for publication: Sur les formes normales