Constructivity and Computability in Historical and Philosophical Perspective /

Guardat en:
Dades bibliogràfiques
Autor principal: Dubucs, Jacques (edición)
Altres autors: Bourdeau, Michel (edición) (edición)
Format: Llibre
Idioma:anglès
Publicat: Dordrecht, Holanda : Springer, 2014, c2014
Col·lecció:(Logic, Epistemology, and the Unity of Science ; 34)
Matèries:
Accés en línia:Ver documento en línea
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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