Login

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Feferman, Solomon ; Kreisel, G., Classifications of Recursive Functions by Means of Hierarchies ; Correction to "Transfinite Recursive Progressions of Axiomatic Theories" ; Non-Uniqueness Resul (1961)
Fejer, Peter, A.; Shore, Richard, A., Embeddings and Extensions of Embeddings in the r.e. tt and wtt-Degrees
Feldman, Eliot D., L-$\Sigma_n^1$ Transfinite Induction with an Application to the EHP Hierarchy (1974)
Feldman, Eliot, D., Matrix Grammars and Parallel/Sequential Array Automata
Feldman, J.A.; Low, J.R.; Rovner, P.D., Programming Distributed Systems (1977)
Felgner, Ulrich, Models of ZF-Set Theory (1971)
Felscher, W., In diesem Paragraphen werden nur 2-wertige Strukturen betrachtet (1981)
Felscher, Walter, An Algebraic Approach to First Order Logic (1971)
Felscher, Walter, An Algebraic Approach to First Order Logic (1971)
Felscher, Walter, Dialogues as a Foundation for Intuitionistic Logic (1982)