Simpson, Stephen G. (Stephen George) 1945
Overview
Works:  25 works in 93 publications in 3 languages and 1,127 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Author, Editor, Thesis advisor, Contributor, Other 
Classifications:  QD101, 545 
Publication Timeline
.
Most widely held works by
Stephen G Simpson
Subsystems of second order arithmetic by
Stephen G Simpson(
Book
)
31 editions published between 1998 and 2012 in English and held by 335 WorldCat member libraries worldwide
This volume examines appropriate axioms for mathematics to prove particular theorems in core areas
31 editions published between 1998 and 2012 in English and held by 335 WorldCat member libraries worldwide
This volume examines appropriate axioms for mathematics to prove particular theorems in core areas
Logic and combinatorics : proceedings of the AMSIMSSIAM Joint Summer Research Conference held August 410, 1985 by AMSIMSSIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite
Combinatorics(
Book
)
17 editions published in 1987 in English and held by 273 WorldCat member libraries worldwide
17 editions published in 1987 in English and held by 273 WorldCat member libraries worldwide
Kurt Gödel : essays for his centennial by
Solomon Feferman(
Book
)
12 editions published in 2010 in English and held by 160 WorldCat member libraries worldwide
Papers examining aspects of Godel's work gathered from a symposium celebrating Gd̲el's centennial and papers from a 2004 ASL symposium.Résumé de l'éditeur
12 editions published in 2010 in English and held by 160 WorldCat member libraries worldwide
Papers examining aspects of Godel's work gathered from a symposium celebrating Gd̲el's centennial and papers from a 2004 ASL symposium.Résumé de l'éditeur
Reverse mathematics 2001(
Book
)
6 editions published in 2005 in English and held by 97 WorldCat member libraries worldwide
6 editions published in 2005 in English and held by 97 WorldCat member libraries worldwide
Calculations of quantitative chemical analysis by
Leicester Forsyth Hamilton(
Book
)
4 editions published in 1939 in English and held by 6 WorldCat member libraries worldwide
4 editions published in 1939 in English and held by 6 WorldCat member libraries worldwide
Calculations of analytical chemistry by
Leicester Forsyth Hamilton(
Book
)
2 editions published between 1960 and 1973 in English and Italian and held by 2 WorldCat member libraries worldwide
2 editions published between 1960 and 1973 in English and Italian and held by 2 WorldCat member libraries worldwide
Medvedev degrees of 2dimensional subshifts of finite type by
Stephen G Simpson(
)
2 editions published in 2007 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 2007 in English and held by 2 WorldCat member libraries worldwide
Kurt Gödel : essays for his centennial(
)
1 edition published in 2010 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 2010 in English and held by 2 WorldCat member libraries worldwide
Formerly Talbot's quantitative chemical analysis by
Henry Paul Talbot(
Book
)
1 edition published in 1958 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1958 in English and held by 2 WorldCat member libraries worldwide
Logic and combinatorics : proceedings of the AMSIMSSIAM Joint Summer Research Conference August 420, 1985, with support
from the National Science Foundation(
Book
)
1 edition published in 1985 in English and held by 1 WorldCat member library worldwide
1 edition published in 1985 in English and held by 1 WorldCat member library worldwide
Logic and combinatorics by
Stephen G Simpson(
Book
)
2 editions published between 1985 and 1987 in English and held by 1 WorldCat member library worldwide
2 editions published between 1985 and 1987 in English and held by 1 WorldCat member library worldwide
Calculations of analysis chemistry by Leieester F Hamilton(
Book
)
1 edition published in 1969 in English and held by 1 WorldCat member library worldwide
1 edition published in 1969 in English and held by 1 WorldCat member library worldwide
Avances en la tecnologia unicracking by
Stephen G Simpson(
)
1 edition published in 2008 in Spanish and held by 1 WorldCat member library worldwide
1 edition published in 2008 in Spanish and held by 1 WorldCat member library worldwide
Quantitative chemical analysis by
Leicester Forsyth Hamilton(
Book
)
1 edition published in 1964 in English and held by 1 WorldCat member library worldwide
General considerations; General directions for laboratory work; Common analytical operations; The analytical balance; The precision of analytical measurements; Review of some basic principles; General directions for volumetric work; Neutralization tiratrion curves; Acidimetry and alkalimetry; Oxidationreduction (redox) processes; Oxidationreduction (redox) titrations; Permanganate process; Dichromate and ceric processes; Iodimetry and related methods; Precipitation methods ("Precipitimetry"); Complex formulation methods ("Compleximetry"); General principles of gravimetric analysis; Analysis of soluble salts; Analysis of an ore; Electrometric methods; Optical methods; Gasvolumetric methods; Miscellaneous determinations; Answers to problems
1 edition published in 1964 in English and held by 1 WorldCat member library worldwide
General considerations; General directions for laboratory work; Common analytical operations; The analytical balance; The precision of analytical measurements; Review of some basic principles; General directions for volumetric work; Neutralization tiratrion curves; Acidimetry and alkalimetry; Oxidationreduction (redox) processes; Oxidationreduction (redox) titrations; Permanganate process; Dichromate and ceric processes; Iodimetry and related methods; Precipitation methods ("Precipitimetry"); Complex formulation methods ("Compleximetry"); General principles of gravimetric analysis; Analysis of soluble salts; Analysis of an ore; Electrometric methods; Optical methods; Gasvolumetric methods; Miscellaneous determinations; Answers to problems
Computable aspects of measure theory by Noopur Pathak(
)
1 edition published in 2013 in English and held by 1 WorldCat member library worldwide
1 edition published in 2013 in English and held by 1 WorldCat member library worldwide
Recursive aspects of descriptive set theory by Richard Mansfield(
Book
)
1 edition published in 1985 in English and held by 1 WorldCat member library worldwide
1 edition published in 1985 in English and held by 1 WorldCat member library worldwide
Admissible ordinals and recursion theory by
Stephen G Simpson(
)
1 edition published in 1971 in English and held by 1 WorldCat member library worldwide
1 edition published in 1971 in English and held by 1 WorldCat member library worldwide
Talbot's Quantitavie chemical analysis by
Leicester Forsyth Hamilton(
Book
)
1 edition published in 1949 in English and held by 1 WorldCat member library worldwide
1 edition published in 1949 in English and held by 1 WorldCat member library worldwide
A model of intuitionism based on turing degrees by Sankha Subhra Basu(
)
1 edition published in 2013 in English and held by 1 WorldCat member library worldwide
1 edition published in 2013 in English and held by 1 WorldCat member library worldwide
Logics and combinatorics : Proceedings by AMSIMSSIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite
Combinatorics(
Book
)
1 edition published in 1987 in English and held by 1 WorldCat member library worldwide
1 edition published in 1987 in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 American Mathematical Society Other
 Institute of Mathematical Statistics Other
 Society for Industrial and Applied Mathematics Other
 Feferman, Solomon Author Editor
 Parsons, Charles 1933 Editor
 Association for Symbolic Logic
 Gödel, Kurt
 Cambridge University Press
 Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics. <1985, Arcata, Calif.>.
 Hamilton, Leicester F. Author
Useful Links