|
|
141. |
A course in mathematical logic /
by Bell, John Lane
Publication:
Amsterdam : North-Holland Pub. Co., 1977
. XVIII, 599 p. ;
23 cm.
Date:1977
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
142. |
Solving the frame problem : a mathematical investigation of the common sense law of inertia /
by Shanahan, Murray
Publication:
Cambridge : The Mit Press, 1997
. XXXIV, 407 p. :
24 cm.
Date:1997
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
143. |
Automated deduction in multiple-valued logics /
by Hahnle, Reiner
Publication:
Oxford : Clarendon Press, 1993
. IX, 172 p. :
24 cm.
Date:1993
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
144. |
Many-valued logics /
by Malinowski, Grzegorz
Publication:
Oxford : Clarendon Press, 1993
. VII, 131 p. ;
24 cm.
Date:1993
Availability:
No items available:
Checked out (1),
Actions:
|
|