Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 000000011052982X | 1 hits
Person
ISNI: 
0000 0001 1052 982X
Name: 
Feferman, S.
Feferman, Solomon
Dates: 
1928-
Creation class: 
cre
Language material
Text
Creation role: 
author
contributor
editor
redactor
Related names: 
Association for symbolic logic
Barwise, Jon (1942-2000)
Feferman, Anita Burdman (1927-)
Gödel, Kurt (1906-1978)
Gödel, Kurt Friedrich (1906-1978)
Oxford University Press
Parsons, Charles (1933-)
Robinson, Julia
Sieg, Wilfried (1945-)
Simpson, Stephen G.
Sommer, Richard (1961-)
Stanford University Affiliation (see also from)
Titles: 
Alan Turing's systems of logic : the Princeton thesis
Alfred Tarski life and logic
Alfred Tarski : życie i logika
Čislovye sistemy
Čislovyje sistemy : Osnovanija Algebry i analiza
Collected works of Julia Robinson
Correspondence A-G
Correspondence H-Z
Extended logics and their model theory. -
In the light of logic
Iterated inductive definitions and subsystems of analysis. -
Kurt Gödel : essays for his centennial
Model-theoretic logics
number systems, 1964., The
number systems foundations of algebra and analysis, The
Publications 1929-1936
Publications 1938-1974
Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
Sammlung
Selected correspondence, A-G
Selected correspondence, H-Z
Systems of logic
Unpublished essays and lectures
Works.
Notes: 
Sources: 
VIAF BNF DNB LC NKC NLI NLP NTA NUKAT SELIBR SUDOC WKP
TEL