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.

Teilen: