Handbook of System Safety and Security: Cyber Risk and Risk Management, Cyber Security, Threat Analysis, Functional Safety, Software Systems, and Cyber Physical Systems von Griffor, Edward

Volltext

Definability and forcing in E-recursion von Griffor, E. R.

Volltext

The definability of E(α) von Griffor, E. R., Normann, D.

Volltext

Handbook of Computability Theory von Griffor, E. R

Volltext

Inaccessibility in constructive set theory and type theory von Rathjen, Michael, Griffor, Edward R., Palmgren, Erik

Volltext

An application of Π21-logic to descriptive set theory von Griffor, E. R.

Volltext

DEFINABILITY AND FORCING IN E-RECURSION von GRIFFOR, E. R.

Volltext

Dag Normann. Degrees of functionals. Annals of mathematical logic, vol. 16 (1979), pp. 269–304 von Griffor, E. R.

Volltext

Dag Normann. A jump operator in set recursion. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 25 (1979), pp. 251–264 von Griffor, E. R.

Volltext

Review: Dag Normann, A Jump Operator in Set Recursion von Griffor, E. R

Volltext

Part 4: Mathematics and Computability Theory

Volltext

Part 2: Reducibilities and Degrees

Volltext

Handbook of Computability Theory

Volltext

List of Contributors

Volltext

Part 1: Fundamentals of Computability Theory

Volltext

Part 6: Computer Science and Computability Theory

Volltext

Part 5: Logic and Computability Theory

Volltext

Part 3: Generalized Computability Theory

Volltext

The Definability of \mathrm{E}(\alpha) von Griffor, E. R, Normann, D

Volltext

REVIEWS von Griffor, E. R.

Volltext