Louis Couturat -Traité de Logique algorithmique
117.69 EUR
Entdecke in Louis Couturats „Traité de Logique algorithmique“ die Entstehung der formalen Logik, ihre Verbindung zu frühen Computationsideen und die präzise Analyse von Beweismustern, die bis heute Einfluss haben.