This introduction to mathematical logic takes Gödel's incompleteness theorem as a starting point. It goes beyond a standard text book and should interest everyone from mathematicians to philosophers and general readers who wish to understand the foundations and limitations of modern mathematics.
Draft Document - Information technology - Artificial intelligence - Transparency taxonomy of AI systems (ISO/IEC DIS 12792:2024); German and English version prEN ISO/IEC 12792:2024
Information technology - Generic of coding of moving pictures and associated audio information - Part 1: Systems (ISO/IEC 13818-1:1996); English version EN ISO/IEC 13818-1:1997
Draft Document - Information technology - Security techniques - Evaluation criteria for IT security - Part 1: Introduction and general model (ISO/IEC 15408-1:2009); English version prEN ISO/IEC 15408-1:2019
Draft Document - Information technology - Security techniques - Evaluation criteria for IT security - Part 1: Introduction and general model (ISO/IEC 15408-1:2009); German and English version prEN ISO/IEC 15408-1:2019
Draft Document - Information security, cybersecurity and privacy protection - Evaluation criteria for IT security - Part 1: Introduction and general model (ISO/IEC 15408-1:2022); German and English version prEN ISO/IEC 15408-1:2023
