|
||||
Name: Topics in Logic and Proof Theory Description: Brief introductions to combinatory logic, the incompleteness theorems and independence results, by Andrew D Burbanks. Category: Nonstandard Logics and Extensions Url: http://www.maths.bris.ac.uk/~maadb/research/topics/logic/ Date: 22-09-2002 Current Rating: 5.00
|
||||
|
Something wrong with this resource? Report this link as broken |
||||
