Mathematical Logic

London Mathematical Society Lecture Notes Series 262 Analysis and Logic

London Mathematical Society Lecture Note Series 222 Advances in Linear Logic

Algebraic Topology Mathematics Dover Books on Ser.: by C. R. F. Maunder...

Finite Group Theory Cambridge Studies In Advanced Mathematics 10 M Aschbacher

Types for Proofs and Programs International Workshop Types 2006 LNCS 4502

Monograph Bks.: Introduction to Stochastic Differential Equations by Lawrence...

Search and Planning Under Incomplete Information A Study Using Bridge Card Play