Metamathematical approach to proving theorems of discrete mathematics

DOI10.1007/BF01091741zbMath0401.68074OpenAlexW1986389200MaRDI QIDQ1255328

Yu. V. Matiyasevich

Publication date: 1978

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01091741

zbMATH Keywords

Proof TheoryPredicate CalculusDeductive SystemDiscrete MathematicsGraph TheoryProving Theorems

Mathematics Subject Classification ID

Cites Work

• A theorem on graphs
• A Theorem on Planar Graphs
• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Metamathematical approach to proving theorems of discrete mathematics