Index of /data/doc/misc/math/logic/


../
CoC/                                               28-Jun-2016 23:19                   -
natural deduction/                                 26-Jul-2019 10:41                   -
proof assistant/                                   28-Jun-2016 23:19                   -
temporal/                                          28-Jun-2016 23:19                   -
Bruin. inductive types in constructive language..> 28-Jun-2016 23:19             1503494
Goguen. what is unification.pdf                    28-Jun-2016 23:19              386142
Hofmann. a simple model for quotient types.tlca..> 28-Jun-2016 23:19              228882
Holmes. proofsetslogic.pdf                         26-Apr-2017 20:11             1123167
Pfenning. logic programming.lp-all.pdf             28-Jun-2016 23:19             1816700
Wolfgang Rautenberg - A Concise Introduction to..> 05-Apr-2017 12:46             1541131
Лобанов. русская вероятностная логика.rusverlog..> 28-Jun-2016 23:19             5569768