1.Previous
3.Next

*Barwise, K, J. & Seligman, J. (1997) Information Flow: the Logic of Distributed Systems
*Barwise, K. J. & Etchemendy, J. (2002) Language, Proof and Logic
*Barwise, K. J. Editor (1977) Handbook of Mathematical Logic. xi+1165 pages
*Barwise, J. & Feferman, S. Editors (1985) Model-Theoretic Logics. x+893 pages

See also

* Barwise Prize
* Barwise compactness theorem

1.Previous
3.Next