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) |