A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic, 1)

Computability Theory: An Introduction to Recursion Theory

Computability Theory Computability Theory An Introduction to Recursion Theory Herbert B. Enderton University of Calif

403 82 2MB Read more

Computability Theory: An Introduction to Recursion Theory

Computability Theory Computability Theory An Introduction to Recursion Theory Herbert B. Enderton University of Calif

288 14 2MB Read more

Computability theory. An introduction to recursion theory

Computability Theory Computability Theory An Introduction to Recursion Theory Herbert B. Enderton University of Calif

415 18 2MB Read more

Computability Theory: An Introduction to Recursion Theory

Computability Theory Computability Theory An Introduction to Recursion Theory Herbert B. Enderton University of Calif

347 66 2MB Read more

Computability: An Introduction to Recursive Function Theory

319 84 1MB Read more

An Introduction to Logic

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

Computability and Logic

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

A First Course in Optimization Theory

2,517 1,735 12MB Read more

A First Course in String Theory

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

Type Theory and Formal Proof: An Introduction

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