Pozycje tego autora w naszej księgarni:
Wyniki wyszukiwania
Znaleziono 1 pasujący rekord dla kryteriów wyszukiwania
|
Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used ...
|
|