Concepedia

John R. Chidgey

JR

1

Publications

69

Citations

1

H-Index

1970

Active since

John R. Chidgey is an author specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated Reasoning

Publications per year

1970–1970

1

Publications

1

T. Thacher Robinson. Independence of two nice sets of axioms for the propositional calculus. The journal of symbolic logic, vol. 33 (1968), pp. 265–270.

John R. Chidgey · Journal of Symbolic Logic · 1970 · 69 citations

Engineering, Symbolic Logic, Propositional Calculus +8

Rows per page

1–1 of 1