Logic, computers, and sets

Guardado en:

Detalles Bibliográficos
Autor principal:	Wang, Hao (Autor)
Formato:	Libro
Lenguaje:	inglés
Publicado:	Nueva York Chelsea Publishing Company 1970
Materias:	Lógica matemática Lógica simbólica METODO AXIOMATICO FORMALIZACION COMPUTABILIDAD MAQUINAS DE TURING Álgebra booleana Teoría de números CALCULO DE PREDICADOS Teoría de conjuntos
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Biblioteca de Matemática -

Detalle de Existencias desde Biblioteca de Matemática -
Número de Clasificación:	511.3 WAN 1970
Copia 1300237	Disponible Hacer reserva