|
||||
Name: Mathematical Reasoning Group Description: Research group based in Edinburgh, it is running on the interaction between logic, mathematics and informatics. Links to publications, homepages, reports. Category: Proof Theory Url: http://dream.dai.ed.ac.uk/ Date: 15-01-2002 Current Rating: 5.00
|
||||
|
Something wrong with this resource? Report this link as broken |
||||
