Metody refutacyjne w badaniach nad systemami logicznymi
By: Robert Sochacki
Series: Studia i monografie / Uniwersytet Opolski -- nr 445
Publisher: Uniwersytet Opolski
Published: 2010
Place of publication: Opole
Language: pol
Number of pages: 121
ISBN-13: 9788373954274
Subjects: Invariants; Decidability (Mathematical logic); Criticism and interpretation; Refutation (Logic)
Notes: Includes bibliographical references (p. 113-118) and index.