
1 - A logical journey : from Gödel to philosophy |
2 - A survey of mathematical logic |
3 - Les systèmes axiomatiques de la théorie des ensembles |
1 - A logical journey : from Gödel to philosophy |
2 - A survey of mathematical logic |
3 - Les systèmes axiomatiques de la théorie des ensembles |