Theory of deductive systems and its applications : Maslov, S. I͡U. (Sergeĭ I͡Urʹevich) : Free Download, Borrow, and Streaming : Internet Archive In a fluent, clear, and lively style this translation by two of Maslov's junior colleagues brings the work of the late Soviet scientist S. Yu. Maslov to a...

Sergei Yurevich Maslov
Theory of Deductive Systems and its Applications
1987

#book #monograph #logic #computation #deduction #inference #proof #formallogic #formalproof #formalsystem #automata #theoryofcomputation

archive.org/details/Theo...

Time and again, we fall into the trap with physicists by misinterpreting their working models and the results derived from them as ontologically real.

#Physics
#Reality #TensionRatioPhysicsOntologicalReality #FormalSystem #FormalKnowledge #Epistemology #Philosophy