WorldCat Identities

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
Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 by AMS-IMS-SIAM 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

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
Reverse mathematics 2001( Book )

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

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

Medvedev degrees of 2-dimensional subshifts of finite type by Stephen G Simpson( )

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

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

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

Calculations of analysis chemistry by Leieester F Hamilton( Book )

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

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; Oxidation-reduction (redox) processes; Oxidation-reduction (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; Gas-volumetric 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

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

Admissible ordinals and recursion theory by Stephen G Simpson( )

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

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

Logics and combinatorics : Proceedings by AMS-IMS-SIAM 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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.63 (from 0.45 for Quantitati ... to 0.99 for Avances en ...)

Subsystems of second order arithmetic
Alternative Names
Simpson, S.

Simpson, Stephen 1945-

Simpson, Stephen G.

Simpson, Stephen George 1945-

Simpson, Stephen Gershom

Stephen G. Simpson American mathematician

Languages
Covers
Kurt Gödel : essays for his centennialReverse mathematics 2001Kurt Gödel : essays for his centennial