4 ms·
>> Or being able to decide if a proposition is true within an axiomatic system? You mean like Prolog?
by nercht12 9y ago
>> Or being able to decide if a proposition is true within an axiomatic system?
You mean like Prolog?
loading thread…
4 ms·