

GNU Emacs  
[Cameron91]  Learning GNU Emacs; with Bill Rosenblatt & Eric Raymond, second edition, 1996. A Nutshell Handbook. O'Reilly & Associates 
Philosophy. A leading member of the Vienna Circle and proponent of logical positivism.  
[Carnap28]  Der Logische Aufbau der Welt Felix Meiner Verlag, Leipzig. Also translated as The Logical Structure of the World; Pseudoproblems in Philosophy, University of California Press, 1967 

[Carnap29]  Abriss der Logistik, mit besonderer Berücksichtigung der Relationstheorie und ihrer Anwendungen, Springer 1929.  
[Carnap31]  The Logicist Foundations of Mathematics, English translation in [Benacerraf83].  
[Carnap32]  The Unity of Science, translation of Die physikalische Sprache als Universalsprache der Wissenschaft (1932), Kegan Paul 1934  
[Carnap34]  Logische Syntax der Sprache, 1934. Translated into English as [Carnap37], 1937. 
[Carnap35]  Philosophy and Logical Syntax, Thoemmes Press 1996.  
[Carnap37]  The Logical Syntax of Language, translation by Amethe Smeaton of [Carnap34] (with some additional material), London, Kegan Paul Trench, Trubner & Co., 1937.  
[Carnap39]  Foundations of Logic and Mathematics, International Encyclopaedia of Unified Science, vol. I, no. 3, University of Chicago Press, 1939.  O 
[Carnap42]  Introduction to Semantics, Harvard University Press, 1942. The first of a series of small books under the common title Studies in Semantics. Others in this series were [Carnap43] and [Carnap47]. 

[Carnap43]  Formalisation of Logic, Harvard University Press, 1943. Volume 2 of his Studies in Semantics. 
[Carnap47]  Meaning and Necessity  a Study in Semantics and Modal Logic, University of Chicago Press, 1947. Volume 3 of his Studies in Semantics.  
[Carnap50]  Empiricism, Semantics and Ontology  Revue Intern de Phil. 4 1950, also in second edition of [Carnap47].  
[Carnap54]  Introduction to Symbolic Logic and Its Applications, translation by Meyer and Wilkinson of Einführung in die symbolische Logik (1954), Dover 1958  
[Carnap58]  An Introduction to the Philosophy of Science, an approved transcription of Carnap's celebrated lectures at the U. of California (L.A.) in 1958. edited by Martin Gardner  
[Carnap63]  The Philosophy of Rudolf Carnap, Library of Living Philosophers, Vol.11, Ed. Paul Schilpp; Open Court Publishing  O 
[Carnap90]  Dear Carnap, Dear Van  the QuineCarnap correspondence and Related Work, University of California Press 
Theory of computation. 
Biologist, palaeontologist and Jesuit father. Coined the term "noosphere".  
[Chardin55]  The Phenomenon of Man HarperCollins, 1980 
Futurist. Semantic webs.  
Great Thinkers and Visionaries 
Mathematics, set theory.  
forcing for dummies 
Philosopher  
Digital Text International 
Logic. The decision problem. The lambda calculus. The simple theory of types.  S^{t}A  
[Church35]  An unsolvable problem of elementary number theory
Presented to the American Mathematical Society, April 19, 1935 

[Church40]  A Formulation of the Simple Theory of Types, Journal of Symbolic Logic, 1940  
[Church51]  The Need for Abstract Entities, American Academy of Arts and Sciences Proceedings 80 (1951): pp. 100113. 
SGML, XML, XSL ... Standards development and OpenSource software. 
XML activity lead at W3C.  
Specifying Web Architecture with Larch 
Literary critic; biographer of Iris Murdoch.  
[Conradi2001]  Iris  The life of Iris Murdoch, Norton paperback 2002 
Logic (History of Logic, Mathematical Logic, Philosophy of Logic); Philosophy of Mathematics; Semantics; Philosophy of Linguistics; Metaphysics; Epistemology. 