Function therory
Tablighi Jamat Ka Fareb
Jam e noor jan feb 2014
20110224 systems of_typed_lambda_calculi_moskvin_lecture01
20110224 systems of_typed_lambda_calculi_moskvin_lecture02
212PtI
First Order Logic Lecture 3: Sep 14 (chapter 2 of the book)
BY A.Lecture Karrar DH. Mohammed
Weakening the Causal Faithfulness Assumption
Process Algebra (2IF45) Probabilistic Process Algebra