VIAF

Virtual International Authority File

Search

Post, Emil Leon, 1897-1954 Library of Congress/NACO ISNI NUKAT Center of Warsaw University Library National Library of Israel National Library of Sweden National Library of France National Library of Poland Sudoc [ABES], France National Library of the Netherlands

Emil Leon Post American logician Wikidata

Post, Emil L. 1897-1954 German National Library Swiss National Library

Post, Emil BIBSYS

VIAF ID: 41933673 (Personal)

Permalink: http://viaf.org/viaf/41933673

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (19)

Open Section Close Section 5xx's: Related Names (1)

Open Section Close SectionWorks

Title Sources
Absolutely unsolvable problems and relatively undecidable propostions : account of an anticipation BIBSYS
Emil L. Post and the problem of mechanical provability. - Białystok, 1998. NUKAT Center of Warsaw University Library
Finite combinatory processes—formulation BIBSYS Wikidata
Formal Reductions of the General Combinatorial Decision Problem Wikidata
Introduction to a general theory of elementary propositions Wikidata Library of Congress/NACO
Recursive unsolvability of a problem of Thue BIBSYS
Recursively enumerable sets of positive integers and their decision problems BIBSYS Wikidata
Solvability, provability, definability the collected works of Emil L. Post Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of Israel National Library of Sweden National Library of France Sudoc [ABES], France National Library of the Netherlands
The two-valued iterative systems of mathematical logic Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands Library of Congress/NACO
Works. 1993 Sudoc [ABES], France Library of Congress/NACO

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (2)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (4)

Open Section Close Section About

Open Section Close Section History of VIAF ID:41933673 (15)