Logic, computers, and sets

Gardado en:

Detalles Bibliográficos
Autor Principal:	Wang, Hao (Author)
Formato:	Libro
Idioma:	inglés
Publicado:	Nueva York Chelsea Publishing Company 1970
Subjects:	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
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Biblioteca de Matemática -

Detalle de Existencias desde Biblioteca de Matemática -
Número de Clasificación:	511.3 WAN 1970
Copia 1300237	Dispoñible Facer reserva