Biblioteca Dr. Antonio Monteiro · Catálogo | |
Rosser, J. Barkley (John Barkley), 1907- | ||||
1. | Deux esquisses de logique / par J. Barkley Rosser. | 1955 | Libro |
03 R828d |
2. | Logic for mathematicians / J. Barkley Rosser. | 1953 | Libro |
03 R828l |
3. | Many-valued logics / J. Barkley Rosser, Atwell R. Turquette. | 1952 | Libro |
03 R828m |
4. | Simplified independence proofs : Boolean valued models of set theory / J. Barkley Rosser. | 1969 | Libro |
03 R828 |
Autores varios | ||||
5. | The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis. | 1965 | Libro |
03 Un55 |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com