Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
Alfred Tarski
pocket,
2008,
Engelska,
ISBN 9780521714013
Alfred Tarski, one of the greatest logicians of all time, is widely thought of as 'the man who defined truth'. His work on the concepts of truth and logical consequence are …
Proofs, Categories and Computations. Essays in Honor of Grigori Mints
pocket,
2010,
Engelska,
ISBN 9781848900127
Kurt Gödel
pocket,
2013,
Engelska,
ISBN 9781107683464
Kurt Gödel (1906–1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of …