Fixed-point extensions of first-order logic - Concepedia

Concepedia

Publication | Closed Access

Fixed-point extensions of first-order logic

241

Citations

14

References

1986

Year

Yuri Gurevich, Saharon Shelah

Annals of Pure and Applied Logic

Computational LogicEngineeringAutomated ReasoningFormal MethodsFirst-order LogicFixed-point ExtensionsHigher-order Logic

References

	Year	Citations

Page 1