Mathematical Logic For Computer Science (2nd Edition)
Lu Zhongwan Lu
Download - Immediately Available
Format: eBook (PDF)
Rankin-Selberg Convolutions for $\mathrm {SO}_{2\ell +1}\times \mathrm {GL}_n$ : Local Theory
David Soudry
Download - Immediately Available
Format: eBook (PDF)
Diamond: A Paradox Logic (2nd Edition)
Hellerstein Nathaniel S Hellerstein
Download - Immediately Available
Format: eBook (PDF)
Decidable Theories : Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
J.R. Buchi
Download - Immediately Available
Format: eBook (PDF)
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2: Computation and Proof Theory
M. M. Richter
Download - Immediately Available
Format: eBook (PDF)