This book is the most comprehensive description of the decades-long Non-Axiomatic Reasoning System (Producator: SPRINGER PG