1.
図書 |
edited by J. N. Crossley
|
|||||||
2.
図書 |
[edited by Anil Nerode, Richard A. Shore]
|
|||||||
3.
図書 |
3. From logic design to logic programming : theorem proving techniques and P-functions (: gw ; : us)
Dominique Snyers, André Thayse
|
|||||||
4.
図書 |
Hans Hermes ; translated from German by Diana Schmidt
|
|||||||
5.
図書 |
James M. Henle
|
|||||||
6.
図書 |
S.G. Gindikin ; translated by Robert H. Silverman
|
|||||||
7.
図書 |
edited by Jörg H. Siekmann
|
|||||||
8.
図書 |
edited by C.A. Di Prisco
|
|||||||
9.
図書 |
J.A. Robinson
|
|||||||
10.
図書 |
Jan Łukasiewicz ; translated from Polish by Olgierd Wojtasiewicz
|