Imagem da capa

Las ciencias formales

Na minha lista:

Detalhes bibliográficos
Autores Corporativos:	Colegio24hs, e-libro, Corp
Formato:	livro electrónico
Idioma:	espanhol
Publicado em:	[S.l.] : Colegio24hs, [2004?]
Assuntos:	Ciencia > Filosofía. Language and languages. Logic, Symbolic and mathematical. Libros electrónicos.
Acesso em linha:	https://biblioteca.ues.edu.sv/acceso/elibro/?url=https%3A%2F%2Felibro.net%2Fereader%2Fbiblioues/27112 Ver en el OPAC
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados

Ciencias formales y ciencias fácticas
Publicado em: (2004)

Conectivas lógicas
Publicado em: (2004)

Conectivas lógicas y tablas de verdad ejercicios /
Publicado em: (2004)

Asignación de valores en las proposiciones atómicas y moleculares
Publicado em: (2004)

Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
Publicado em: (2012)

The review of symbolic logic
Publicado em: (2008)

Proceedings of the 13th Asian Logic Conference Guangzhou, China, 16-20 September 2013 /
Publicado em: (2015)

Filosofía sintética de las matemáticas contemporáneas /
Por: Zalamea Traba, Fernando, 1959-
Publicado em: (2009)

Reports on mathematical logic
Publicado em: (1973)

Con argumento lógico : notas de matemáticas aplicadas /
Por: Obeso Fernández, Virgilio
Publicado em: (2013)

Lógica difusa, un punto de vista
Por: Strefezza, Miguel
Publicado em: (2009)

El pensamiento lógico-matemático /
Por: Sagüillo Fernández-Vega, José Miguel
Publicado em: (2008)

Introducció a la lg̣ica /
Por: Barrière Figueroa, Eulalia
Publicado em: (2006)

Journal of the IGPL
Publicado em: (1995)

Journal of mathematical logic
Publicado em: (2001)

Números combinatorios y probabilidades
Por: Miró, Ricardo
Publicado em: (2007)

Journal of formalized reasoning

Logic journal of the IGPL
Publicado em: (1997)

Introducción a la historia a la filosofía de la matemática. Volumen 2, hacia la formalización en Hilbert y en Bourbaki /
Por: Campos, Alberto
Publicado em: (2008)

Razonamiento lógico matemático para la toma de decisiones /
Por: Peralta Márquez, Norma Elvira
Publicado em: (2015)

Proceedings of the 12th Asian Logic Conference Wellington, New Zealand, 15-20 December 2011 /
Publicado em: (2013)

Formalized mathematics a computer assisted approach.

Bulletin of the Section of Logic
Publicado em: (1972)

Archive for mathematical logic
Publicado em: (1988)

Language, nature and science : new perspectives /
Publicado em: (2009)

EL razonamiento lógico en el lenguaje simbólico y en el lenguaje natural /
Por: Kemel, George
Publicado em: (2020)

Leyes lógicas
Publicado em: (2004)

Lógica matemática y teoría de conjuntos /
Por: Vargas Villegas, Elizabeth
Publicado em: (2019)

Mathematical logic quarterly MLQ.
Publicado em: (1993)

Elementos básicos de matemáticas con herramientas interactivas /
Por: Grisales Aguire, Andrés Mauricio
Publicado em: (2018)

Fundamentos de matemáticas y lógica
Por: Gutiérrez González, Eduardo, et al.
Publicado em: (1998)

Lógica de enunciados algunos aspectos básicos /
Por: Herrera Madrigal, José
Publicado em: (1995)

Esquema para el pre-procesamiento de conjuntos de entrenamiento de clasificadores del vecino más cercano basado en extensiones a la teoría de los conjuntos aproximados /
Por: Villuendas Rey, Yenny
Publicado em: (2014)

Ensayos sobre lógica, lenguaje, mente y ciencia
Publicado em: (2012)

Reseña crítica de "Lógica simbólica y elementos de metodología de la ciencia", de Gianella, Alicia
Publicado em: (2011)

Matemática fundamental para matemáticos /
Por: Robledo Potes, Jaime
Publicado em: (2014)

Matemáticas para informática /
Por: Gutiérrez García, Ismael
Publicado em: (2013)

Prueba formal de validez
Publicado em: (2004)

La paradoja de Orayen
Publicado em: (2003)

Lógica formal y argumentación como disciplinas complementarias /
Por: Palau, Gladys
Publicado em: (2014)