Constructivity and Computability in Historical and Philosophical Perspective /

Guardado en:
Detalles Bibliográficos
Autor principal: Dubucs, Jacques (edición)
Otros autores: Bourdeau, Michel (edición) (edición)
Formato: Libro
Idioma:Inglés
Publicado: Dordrecht, Holanda : Springer, 2014, c2014
Colección:(Logic, Epistemology, and the Unity of Science ; 34)
Temas:
Acceso en línea:Ver documento en línea
Etiquetas: Agrega una etiqueta
Sin etiquetas, Sé el primero en etiquetar este registro!

MARC

LEADER 00000nam^a2200000^a^4500
001 000420160
005 20251023000000.0
009 20260310122503.426
020 |a 978-94-017-9217-2 
037 |a Acervo ITESO - Biblioteca 
041 |a ING 
082 |a 511. 3  |b DUB 
100 |a Dubucs, Jacques  |e (edición) 
245 1 0 |a Constructivity and Computability in Historical and Philosophical Perspective /  |c J. Dubucs, M. Bourdeau. 
264 4 |a Dordrecht, Holanda :  |b Springer,  |c 2014, c2014 
264 2 |a Cham, Suiza :  |b Springer Link [distribución],  |c 2014 
300 |a 1 libro electrónico en línea (XI, 214 p.) 
300 |a 1 recurso en línea 
336 |a datos para computadora  |b cod  |2 rdacontenido 
337 |a computadora  |b c  |2 rdamedio 
338 |a recurso en línea  |b cr  |2 rdasoporte 
440 1 |a (Logic, Epistemology, and the Unity of Science ;  |v 34) 
506 0 |a Licencias ilimitadas 
649 |a XX 
650 |a Funciones Recursivas 
650 |a Matemáticas Constructivas -  |x Tema Principal 
650 |a Máquinas de Turing 
650 |a Complejidad Computacional 
650 |a Autómatas Matemáticos -  |x Teoría -  |x Tema Principal 
650 |a Lógica Matemática -  |x Tema Principal 
650 |a Información -  |x Teoría 
650 |a Epistemología 
650 |a Matemáticas 
700 |a Bourdeau, Michel  |e (edición) 
856 4 0 |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-94-017-9217-2  |y Ver documento en línea 
910 |a Fondo General 
920 |a Electrónicos - Libros en Línea 
930 |a Plataforma Digital 
905 |a 205 
901 |a 420160-1  |b IT2  |c EBO  |i C172346  |u 20250521 
902 |a https://opac.biblio.iteso.mx/vufind/Record/000420160