..A

= home page = notes = online text = quotes

Peter Aczel

Mathematical Tools for the Semantics of natural and formal languages Philosophy and Foundations of Mathematics and Computing Mathematical Models of Concurrent Processes Computer Assisted Development of formal proofs Mathematical Logic Categorical Logic

Andrew W. Appel

Compilers. Standard ML.
[Appel97a]	Modern Compiler Implementation in ML : Basic Techniques Cambridge University Press 1997

Rob Arthan

Formal Methods. Mechanised theorem proving. ProofPower.

Bruce Aune

Philosopher. Empiricist.
[Aune2008]	An Empiricst Theory of Knowledge; Online only at hist-analytic.org.

John Langton Austin

Philosopher. A leading light of the Oxford "revolution" in philosophy. Linguistic or connective analysis.
[Austin57]	A Please for Excuses; Proceedings of the Aristotelian Society, 1956-7. Also in [Austin61].
[Austin61]	Philosophical Papers; Oxford University Press, third edition 1979
[Austin62a]	Sense and Sensibilia; Oxford University Press, 1962
[Austin62b]	How to Do Things with Words; Oxford University Press 1962, Harvard University Press 1975

Alfred J.Ayer

Analytic Philosophy. Leading British Logical Positivist
[Ayer36]	Language Truth and Logic; Dover 1946 ; Penguin 1990:
[Ayer40]	The Foundations of Empirical Knowledge; Paperman 1964;
[Ayer56]	The Problem of Knowledge; Penguin 1990
[Ayer59]	Logical Positivism; Classic papers, edited by and with an introduction by Ayer. The Free Press, Simon& Schuster 1959
[Ayer73]	The Central Questions of Philosophy; Penguin 1991

---

© created 1997/05/31 modified 2009/3/6