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

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)