Mathematics , Logic
Mathematics , LogicReductive Logic and Proof-Search: Proof Theory, Semantics, and Control
Free Download
- Mathematics , Logic
Representing Plans Under Uncertainty: A Logic of Time, Chance, and Action
Free Download 
Mathematics , LogicSet theory and hierarchy theory: a memorial tribute to A.Mostowski
Free Download
