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

Potts, D. H. , Axioms for Semi-Lattices
Pour-El, Marian Boykan, Abstract Computability and its Relaton to the General-Purpose Analog Compuer
Pour-El, Marian Boykan, Analog Generability with Respect to a Given Set of Input Functions
Pour-El, Marian Boykan, Independent Axiomatization and its Relation to the Hypersimple Set
Pour-El, Marian Boykan, "Recursive Isomorphism" of Formal Theories
Pour-El, Marian Boykan ; Richards, Ian, A Computable Ordinary Differential Equation Which Possesses no Computable Solution
Pour-El, Marian Boykan ; Richards, Ian, Computability and Noncomputability in Classical Analysis
Pour-El, Marian Boykan ; Richards, Ian, Computability for Linear Operators an their Eigenvalues
Pour-El, Marian Boykan ; Richards, Ian, The Wave Equation with Computable Initial Data such that its Unique Solution is not Computable
Powell, William C., Set Theory with Predication (1972)