Mathematical foundations

Design Theory

D. R. Hughes i F. Piper

Handbook of Logic in Artificial Intelligence and Logic...

Technology and Medicine) Gabbay Imperial College of Science Professor of Computing Dov M. (Professor of Computing, Technology and Medicine) Hogger Imperial College of Science Department of Computing C. J. (Department of Computing, et al.

Apartness and Uniformity: A Constructive Development

Luminita Simona Vita i Douglas S. Bridges

The Axiom of Choice

John L. Bell

Constructivism in Mathematics, Vol 1

A.S. Troelstra i D. van Dalen

Lie Groups, Lie Algebras, Cohomology and some Applications in...

Spain) Azcarraga Josi A. de (Universitat de Valencia i Spain) Izquierdo Josi M. (Universitat de Valencia

Selected Topics in Approximation and Computation

University of Warsaw) Kowalski Associate Professor Marek A. (Associate Professor, University of Utah) Sikorski Department of Computer Science Krzystof A. (Department of Computer Science, et al.