John W. Dawson

Affiliations:
  • Penn State, York Campus, USA


According to our database1, John W. Dawson authored at least 7 papers between 1983 and 2006.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2006
Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel's Impact on Logic, Mathematics, and Computer Science.
Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

Kurt Gödel - das Album: the album.
Vieweg, ISBN: 978-3-8348-0173-9, 2006

1999
Kurt Gödel - Leben und Werk.
Computerkultur 11, Springer, ISBN: 978-3-211-83195-3, 1999

1998
What Hath Gödel Wrought?
Synth., 1998

1997
Logical dilemmas - the life and work of Kurt Gödel.
AK Peters, ISBN: 978-1-56881-025-6, 1997

1984
Addenda and corrigenda to: "The published work of Kurt Gödel: an annotated bibliography".
Notre Dame J. Formal Log., 1984

1983
The published work of Kurt Gödel: an annotated bibliography.
Notre Dame J. Formal Log., 1983


  Loading...