Pozycje tego autora w naszej księgarni:
Wyniki wyszukiwania
Znaleziono 1 pasujący rekord dla kryteriów wyszukiwania
|
|
|
This book is concerned with the mathematical analysis of the concept of formal proof in classical logic, and records - in substance - a longer exercise ...
|
