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
| Porte, Jean, Un Système pour le Calcul des Propositions Classiques où la Règle de Dètachement n'est pas Valable (1960) |
| Porte, Jean, Les Machines à Calculer Automatiques (1961) |
| Porte, Jean, Un Système Logistique Très Faible pour le Calcul Propositionnel Classique (1962) |
| Porte, Jean, Cirriculum Vitae (1963) |
| Porte, Jean, Liste des Publications Scientifiques (1963) |
| Porte, Jean, Logique Mathematique Elementaire: Lère Session (1963) |
| Porte, Jean, Titres et Travaux Scientifiques (1965) |
| Porte, Jean, La Logique Mathematique et le Calcul Mecanique (1972) |
| Post, Emil L., Recursively Enumerable Sets of Positive Integers and Their Decision Problems (1966) |
| Post, Emil L., Solvability, Provability, Definability: The Collected Works of Emil L. Post (1994) |