Hierarchies of Predicates of Finite Types
D. A Clarke
Download - Immediately Available
Format: eBook (PDF)
Souslinoid and Analytic Sets in a General Setting
A. H Kruse
Download - Immediately Available
Format: eBook (PDF)
Mathematical Logic through Python
Yannai A. Gonczarowski
Download - Immediately Available
Format: eBook (PDF)
Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
Steven Homer
Download - Immediately Available
Format: eBook (PDF)