Formalized mathematics a computer assisted approach.

Guardado en:

Detalles Bibliográficos
Autor Corporativo:	Uniwersytet w Białymstoku
Formato:	Electrónico Revista
Lenguaje:	inglés
Publicado:	[Bialystok, Poland] : University of Białystok
Materias:	Mathematics > Periodicals. Logic, Symbolic and mathematical > Periodicals. Mathematical analysis > Foundations > Periodicals. Arithmetic > Foundations > Periodicals. Logique symbolique et mathématique > Périodiques. Analyse mathématique > Fondements > Périodiques. Arithmétique > Fondements > Périodiques. Arithmetic > Foundations Logic, Symbolic and mathematical Mathematical analysis > Foundations Mathematics Periodicals
Acceso en línea:	Available in Academic Search Ultimate. Ver en el OPAC
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet