Ackermann

Der Mathematiker und Logiker Wilhelm Ackermann arbeitete u. a. zum Entscheidungsproblem der Prädikatenlogik, zur strengen Implikation, zur Widerspruchsfreiheit der elementaren Zahlentheorie und zur axiomatischen Mengenlehre.

User-Bewertung: +1

Zeilenumbrüche macht der Assoziations-Blaster selbst, Du musst also nicht am Ende jeder Zeile Return drücken – nur wenn Du einen Absatz erzeugen möchtest.

Konfiguration \| Web-Blaster \| Statistik \| »Ackermann« \| Hilfe \| Startseite
0.0039 (0.0023, 0.0004) sek. –– 968067416