887 201 3MB
Report DMCA / Copyright
DOWNLOAD FILE
Computability Theory Computability Theory An Introduction to Recursion Theory Herbert B. Enderton University of Calif
403 82 2MB Read more
288 14 2MB Read more
415 18 2MB Read more
347 66 2MB Read more
319 84 1MB Read more
AN INTRODUCTION TO L0 GI 0 H. W. H. JOSF.PH OXFORD A~' 'rHE CLARESDOS PRESS 1906 HUaY FAOWDJ!.o M,A, IDIIOOJ', &Di
7,333 565 19MB Read more
P1: FhN CY186-FM CB421-Boolos July 15, 2007 3:5 Char Count= 0 This page intentionally left blank P1: FhN CY186-FM
784 184 2MB Read more
2,517 1,735 12MB Read more
This page intentionally left blank Second Edition Barton Zwiebach is once again faithful to his goal of making string
1,340 673 5MB Read more
T Y P E T H E O RY A N D F O R M A L P RO O F Type theory is a fast-evolving field at the crossroads of logic, computer
3,078 350 2MB Read more