|
|
41. |
Foundations of set theory /
by Fraenkel, Abraham A.
Publication:
Amsterdam-London : North-Holland Publishing Company, 1973
. X, 404 p. ;
23 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
42. |
Elements of mathematical logic : model theory /
by Kreisel, G.
Publication:
Amsterdam : North-Holland, 1971
. XVII, 231 p. ;
22 cm.
Date:1971
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
43. |
Vol. 2
Publication:
Amsterdam : North-Holland, 1972
. XIV, 520 p. ;
23 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
44. |
Logic, methodology and philosophy of science : proceedings of the 1964 international congress /
Publication:
Amsterdam : North-Holland, 1972
. VIII, 440 p. :
23 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
45. |
The theory of models : proceedings of the 1963 international symposium at Berkeley /
Publication:
Amsterdam : North-Holland, 1972
. XV, 494 p. ;
23 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
46. |
Mathematical logic /
by Shoenfield, Joseph R.
Publication:
Reading : Addison-Wesley Pub. Co., 1967
. VII, 344 p. :
25 cm.
Date:1967
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
47. |
Applied research in fuzzy technology : three years of research at thee Laboratory for International Fuzzy Engineering (LIFE), Yokohama, Japan /
Publication:
Boston : Kluwer Academic Publisher, 1994
. XVI, 457 p. ;
24 cm.
Date:1994
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
48. |
Fril, fuzzy and evidential reasoning in artificial intelligence /
by Baldwin, James Frederick
Publication:
Taunton, Somerset, England : Research Studies Press ; New York : Wiley, 1995
. XVII, 388 p. :
26 cm. + 2 diskette
Date:1995
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
49. |
Substructural logics /
Publication:
Oxford : Clarendon Press ; New York : Oxford University Press, 1993
. X, 386 p. ;
24 cm.
Date:1993
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
50. |
The art of prolog : advanced programming techniques /
by Sterling, Leon
Publication:
Cambridge ; London : The MIT Press, 1994
. XXXVIII, 509 p. ;
23 cm.
Date:1994
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
51. |
Vol. 1: Logical foundations /
Publication:
Oxford : Oxford University Press, 1974
. XV, 511 p. ;
24 cm.
Date:1974
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
52. |
The mathematics of inheritance systems /
by Touretzky, David S.
Publication:
London : Pitman, 1986
. 220 p. ;
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
53. |
Specifyng message passing and time-critical systems with temporal logic /
by Koymans, Ron
Publication:
Berlin : Springer-Verlag, 1992
. VIII, 164 p. ;
25 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
54. |
Termination proofs for logic programs /
by Plumer, Lutz
Publication:
Berlin : Springer Verlag, 1990
. VIII, 142 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
55. |
Nonmonotonic reasoning : logical foundations of commonsense /
by Brewka, Gerhard
Publication:
Cambridge : Cambridge University Press, 1991
. XI, 168 p. ;
25 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
56. |
Language in action : categories, lambdas and dynamic logic /
by Benthem, Johan Van
Publication:
Amsterdam : North Holland, 1991
. X, 349 p. ;
23 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
57. |
Deduction /
by Johnson-Laird, Philip Nicholas
Publication:
Hove ; London : L. Erlbaum Associates, 1991
. 224 p. :
24 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
58. |
Intensional logics for programming /
by Farinas Del Cerro, Luis
Publication:
Oxford : Clarendon Press, 1992
. IX, 228 p. ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
59. |
Studies on natural logic and categorical grammar : Academisch proefschrift /
by Sanchez Valencia, Victor Manuel
Publication:
[Amsterdam : s. l. : 199?]
. VI, 197 p. ;
, Acadmisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. dr. P. W. M. de Meijer in het openbaar te verdedigen in de Aula der Universiteit
22 cm.
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
60. |
Programming language implementation and logic programming : 4th international symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings /
Publication:
Berlin : Springer-Verlag, 1992
. XI, 492 p. ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|