Logic Library

Group in Logic and the Methodology of Science
University of California, Berkeley

Login

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Rabin, Michael O., Degree of Difficulty of Computing a Function and a Partial Ordering of Recursive Sets (1960)

Rabin, Michael O., Non-Standard Models and Independence of the Induction Axiom (1961)

Rabin, Michael O., Diophantine Equations and Non-Standard Models of Arithmetic (1962)

Rabin, Michael O., Probabilistic Automata (1963)

Rabin, Michael O., Classes of Models and Sets of Sentences with the Intersection Property

Rabin, Michael O. ; Moschovakis, Yiannis N. ; Yates C. E. M. ; Jensen, R. B. ; Solovay, R. M. ; Gaifman, Haim ; Jensen, Ronald ; Levy, Azriel, Mathematical Logic and Foundations of Set Theory (1970)

Rabin, M. O. ; Scott, D., Finite Automata and Their Decision Problems (1959)

Radin, Lon Berk, Adding Closed Cofinal Sequences to Large Cardinals (1980)

Rado, T., Comments on the Presence Function of Gazalé (1962)

Rado, T., On Non-Computable Functions (1962)

The Group in Logic and the Methodology of Science at the University of California, Berkeley maintains an extensive collection of reprints, dissertations, project reports, course and seminar notes, and other materials not readily available elsewhere. These items, now numbering about 5,000, as well as a small collection of key texts, monographs, and journals, are available in the Alfred Tarski Room (727 Evans Hall) for use by faculty and graduate students.

If you notice mistakes, please notify the Curator of the Logic Library: steel (at) math (dot) berkeley (dot) edu

© 2005 Regents of the University of California

Logic Group | UC Berkeley | College of Letters & Science