Computability and logic
QA248.5 .B66
;
Moore Stacks:Available
|
Book
|
1974
|
Computability and logic.
QA9.59 .B66 2002eb
|
Bestseller
|
2002
|
Computability and logic.
QA9.59 .B66 2007
|
Bestseller
|
2007
|
Formal logic: its scope and limits
BC71 .J38
;
Moore Stacks:Available
|
Book
|
1967
|
2
|
|
|
|
|