<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2000-08-02 12:13:45Mathematical logic Theoretical computer science Computable function Alfred Tarski Raphael M. Robinson Primitive recursive function Function Julia Robinson Numbering Computability theory Mathematics Theory of computation |
| The Twenty-Fourth Annual Alfred Tarski Lectures UNIVERSITY OF CALIFORNIA, BERKELEY Per Martin-LöfDocID: 1ul3W - View Document |
| PDF DocumentDocID: 1iWkq - View Document |
| Models, Method and Truth: How to be an Internalist With Realist Attitudes by Sherwin Gale Arnott B.A., University of Calgary, 1997 A Thesis Submitted in Partial Fulfillment of theDocID: 19Gym - View Document |
| The Nineteenth Annual T Alfred Tarski Lectures UNIVERSITY OF CALIFORNIA, BERKELEYDocID: 18g4o - View Document |
| PDF DocumentDocID: 17kJT - View Document |