Lambda the Ultimate

inactiveTopic Robert Kowalski's publications
started 6/9/2004; 4:02:14 AM - last post 6/9/2004; 4:02:14 AM
Ehud Lamm - Robert Kowalski's publications  blueArrow
6/9/2004; 4:02:14 AM (reads: 6670, responses: 0)
Robert Kowalski's publications
Quite a lot of interesting things are online. Among them Logic for Problem Solving a book originally published by North-Holland in 1979 which is now out of print.


Posted to logic/declarative by Ehud Lamm on 6/9/04; 4:02:27 AM