Concepedia
1
Publications
16
Citations
H-Index
1969
Active since
Stanisław Surma is an author specializing in semantics and automated reasoning.
Top concepts
SemanticsAutomated Reasoning
Publications per year
1969–1969
Review: J. H. Woodger, Alfred Tarski, Logic, semantics, metamathematics, papers from 1923 to 1938
Witold Pogorzelski, Stanisław Surma · Project Euclid (Cornell University) · 1969 · 16 citations
Automated Reasoning, Classical Logic, Philosophy Of Logic +6
Rows per page
1–1 of 1