Dirk Van Dalen

1972

1985

Este libro ofrece una introducción a la matemática constructiva, explorando sus fundamentos y proporcionando un marco para entender la lógica y la teoría matemática desde esta perspectiva.

1986

Este libro ofrece una introducción completa a la lógica matemática, abarcando tanto sus fundamentos como sus aplicaciones en matemáticas y filosofía, diseñado para estudiantes y profesionales del área.

1987

Este libro es una introducción al cálculo lambda, un sistema formal desarrollado por Alonzo Church, que es fundamental para la teoría de la computabilidad y los lenguajes de programación funcional.

1989

1991

Este libro proporciona una introducción detallada a la lógica intuicionista, explorando sus fundamentos, estructuras y aplicaciones, así como su relación con la lógica clásica.

1991

1994

Este libro ofrece una exploración de la relación entre pruebas matemáticas y computación, proporcionando un análisis detallado de cómo se pueden entender y utilizar los sistemas de pruebas en el contexto de la teoría de la computación.

1995

1998

2000

2002

2003

2004

2005

2010