Ocena:
Obecnie brak opinii czytelników. Ocena opiera się na 8 głosach.
Introduction to Logic: and to the Methodology of Deductive Sciences
Ten klasyczny podręcznik dla studentów analizuje metodę dedukcyjną w pierwszej części i bada zastosowania logiki i metodologii w konstruowaniu teorii matematycznych w drugiej części.
Ćwiczenia pojawiają się w całej książce. Alfred Tarski, jeden z największych logików wszech czasów, jest powszechnie uważany za "człowieka, który zdefiniował prawdę".
Jego prace nad pojęciami prawdy i konsekwencji logicznej zdefiniowanymi przez teorię matematyczną są kamieniami węgielnymi współczesnej logiki, wpływając na rozwój matematyki, filozofii, językoznawstwa i informatyki. Jego nauczanie logiki i matematyki zakończyło się w 1941 roku klasycznym INTRODUCTION TO LOGIC, które wykorzystuje metodę dedukcji i bada logikę i metodologię w odniesieniu do tworzenia teorii matematycznych.
