The manuscripts of emil L. post

DOI10.1080/01445349008837159MaRDI QIDQ3033717zbMATH OpenOpenAlexWikidataFDO

Authors 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

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

Cited in

(2)

• scientific article; zbMATH DE number 4135001 (Why is no real title available?)
• Manuscript volumes and lecture notes of Salvatore Pincherle

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

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