Vol: 32 Page: 33

Authors:
Wiktor Oktaba

Title:
 Biographies of eminent logicians

Language: Polish

Keywords:
formal logic
mathematical logic
set theory
metamathematics
logical varsovien group
computer science
logical Tarski's school
quantum computer
Aristotle
Boole G.
Frege G.
Russel B.A.W.
Gödel K.
Tarski A.

Summary:
The biographies of eminent logicians from Aristotle to the end of 20th century are presented.