WorldCat Identities

Simpson, Stephen G. (Stephen George) 1945-

Overview
Works: 80 works in 154 publications in 1 language and 1,279 library holdings
Genres: Conference proceedings 
Roles: Author, Editor, Thesis advisor, Publishing director, Contributor
Classifications: QA9.7, 511.3
Publication Timeline
.
Most widely held works about Stephen G Simpson
 
Most widely held works by Stephen G Simpson
Subsystems of second order arithmetic by Stephen G Simpson( Book )
29 editions published between 1998 and 2012 in English and held by 449 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 )
15 editions published in 1987 in English and held by 283 WorldCat member libraries worldwide
Kurt Gödel : essays for his centennial by Solomon Feferman( Book )
13 editions published in 2010 in English and held by 235 WorldCat member libraries worldwide
"Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Gödel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gödel's writings are among the topics covered. Several chapters discuss his intellectual development and his relation to predecessors and contemporaries such as Hilbert, Carnap, and Herbrand. Others consider his views on justification in set theory in light of more recent work and contemporary echoes of his incompleteness theorems and the concept of constructible set"--Provided by publisher
Reverse mathematics 2001 ( Book )
6 editions published in 2005 in English and held by 98 WorldCat member libraries worldwide
Field evaluation of hazardous waste pretreatment as an air pollution control technique by C. Clark Allen( Book )
3 editions published in 1986 in English and held by 70 WorldCat member libraries worldwide
Noise from urban traffic under interrupted flow conditions by David Hilbert( Book )
8 editions published between 1980 and 1981 in English and held by 27 WorldCat member libraries worldwide
A randomised controlled trial to evaluate the effectiveness and cost-effectiveness of counselling patients with chronic depression ( Book )
2 editions published in 2000 in English and held by 11 WorldCat member libraries worldwide
Proceedings of the Bristol Naturalists' Society by England) Bristol Naturalists' Society (Bristol( Book )
1 edition published in 1956 in Undetermined and held by 5 WorldCat member libraries worldwide
Lexique stratigraphique international ( Book )
1 edition published in 1959 in English and held by 5 WorldCat member libraries worldwide
Proceedings of the Bristol Naturalists' Society by England) Bristol Naturalists' Society (Bristol( Book )
1 edition published in 1959 in Undetermined and held by 5 WorldCat member libraries worldwide
On, Christians, On! including, 1. Christian Effort. 2. H.R.H. the Prince Consort. 3. The Regeneration of India. 4. A Christian Triumph. With other poems by Stephen G Simpson( Book )
2 editions published in 1899 in English and held by 3 WorldCat member libraries worldwide
Prize essay on the immateriality of the mind, and the immortality of the soul by Stephen G Simpson( Book )
1 edition published in 1853 in English and held by 3 WorldCat member libraries worldwide
Lexique stratigraphique international ( Book )
1 edition published in 1959 in English and held by 3 WorldCat member libraries worldwide
Lexique stratigraphique international. Vol. 1 Europe; Fasc. 3a England, Wales and Scotland; Fasc. 3a VI Devonian by W. F Whittard( Book )
1 edition published in 1959 in English and held by 2 WorldCat member libraries worldwide
Lexique stratigraphique international. Vol. 1 Europe; Fasc. 3a England, Wales and Scotland; Pt. 3a XIII Neogene and Pleistocene by W. F Whittard( Book )
1 edition published in 1963 in English and held by 2 WorldCat member libraries worldwide
Lexique stratigraphique international. Vol. 1 Europe; Fasc. 3a England, Wales and Scotland; Pt. 3a II Pre-Cambrian by J. G. C Anderson( Book )
1 edition published in 1959 in English and held by 2 WorldCat member libraries worldwide
Lexique stratigraphique international. Vol. 1 Europe; Fasc. 3a Ecosse, Angleterre, Pays de Galles; Fasc. 3a XI Cretace by W. F Whittard( Book )
1 edition published in 1972 in Undetermined and held by 2 WorldCat member libraries worldwide
Lexique stratigraphique international. Vol. 1 Europe; Fasc. 3a England, Wales and Scotland; Pt. 3a V Silurian by W. F Whittard( Book )
1 edition published in 1961 in English and held by 2 WorldCat member libraries worldwide
Lexique stratigraphique international. Vol. 1 Europe; Fasc. 3a England, Wales and Scotland; Pt. 3a VIII Upper Carboniferous by F. M Trotter( Book )
1 edition published in 1960 in English and held by 2 WorldCat member libraries worldwide
Lexique stratigraphique international. Vol. 1 Europe; Fasc. 3a England, Wales and Scotland; Pt. 3a X Jurassic by W. F Whittard( Book )
1 edition published in 1963 in English and held by 2 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.80 (from 0.00 for Proceeding ... to 0.94 for Field eval ...)
Alternative Names
Simpson, S.
Simpson, Stephen 1945-
Simpson, Stephen G.
Simpson, Stephen George 1945-
Simpson, Stephen Gershom
Languages
English (88)
Covers