The manuscripts of emil L. post

DOI10.1080/01445349008837159zbMath0692.01004OpenAlexW1977561576WikidataQ58446608 ScholiaQ58446608MaRDI QIDQ3033717

Ivor Grattan-Guinness

Publication date: 1990

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445349008837159

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Cites Work

• An Unsolvable Problem of Elementary Number Theory
• A Formalization of Recursive Arithmetic
• Recursively enumerable sets of positive integers and their decision problems

This page was built for publication: The manuscripts of emil L. post