Logic, foundations of mathematics, and computability theory

Detalles Bibliográficos
Autor Corporativo: International Congress of Logic, Methodology and Philosophy of Science University of Western Ontario
Formato: Procedimiento de la Conferencia Libro
Lenguaje:English
Publicado: Boston Reidel 1975
Colección:(Philosophy of science 9)
Materias:
LEADER 01194nam a2200265 a 4500
001 000000016150
003 OSt
005 20151120142838.0
008 151120b xxu||||| |||| 00| 0 eng d
040 |a Sistema de Bibliotecas UNAH 
082 0 |a 511.3-I61 
111 2 |a International Congress of Logic, Methodology and Philosophy of Science  |c University of Western Ontario  |d 1975  |n 5 
245 1 0 |a Logic, foundations of mathematics, and computability theory   |c edited by Robert E. Butts, Kaarlo Jaakko Juhani Hintikka 
260 |c 1975  |a Boston   |b Reidel 
300 |a 406 p. 
490 0 |a (Philosophy of science   |v 9) 
504 |a Incluye referencias bibliográficas 
650 4 |a LÓGICA MATEMÁTICA  |v CONGRESOS, CONFERENCIAS, ETC 
650 4 |a MATEMÁTICAS  |v CONGRESOS, CONFERENCIAS, ETC  |x FILOSOFÍA 
650 4 |a FUNCIONES COMPUTABLES  |x CONGRESOS, CONFERENCIAS, ETC 
942 |2 ddc  |c LB 
999 |c 16150  |d 16150 
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_000000000000000_3I61  |7 0  |9 46359  |a CG  |b BC  |l 0  |o 511.3-I61  |p 270143  |y LB 
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_000000000000000_3I61  |7 0  |9 46360  |a CG  |b BC  |l 0  |o 511.3-I61  |p 270144  |y LB 
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_000000000000000_3I61  |7 0  |9 46361  |a CG  |b BC  |l 0  |o 511.3-I61  |p 270145  |y LB