|
|
|
21. |
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:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
22. |
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:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
23. |
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:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
24. |
Logic, methodology and philosophy of science III; proceedings of the Third International Congress for Logic,Methodology and Philosophy of Science, Amsterdam 1967 /
Publication:
Amsterdam : North-Holland Pub. Co., 1968
. XII, 553 p. :
23 cm.
Date:1968
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
25. |
Classical recursion theory : the theory of functions and sets of natural numbers /
by Odifreddi, Piergiorgio
Publication:
Amsterdam : North-Holland, 1989
. XVII, 668 p. :
23 cm.
Date:1989
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
26. |
Logic, methodology, and philosophy of science VI : proceedings of the sixth international congress of logic, methodology and phylosophy of science, Hannover, 1979 /
Publication:
Amsterdam ; New York : North-Holland Pub. Co., 1982
. XIV, 856 p. ;
23 cm.
Date:1982
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
27. |
The lambda calculus : its syntax and semantics /
by Barendregt, Hendrik Pieter
Publication:
Amsterdam : North-Holland Pub. Co., 1981
. XIV, 615 p. :
23 cm.
Date:1981
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
28. |
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, USA /
Publication:
Amsterdam : North-Holland Pub. Co., 1980
. XX, 425 p. :
23 cm.
Date:1980
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
29. |
Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /
Publication:
Amsterdam ; New York : North-Holland Pub. Co., 1979
. X, 434 o. ;
23 cm.
Date:1979
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
30. |
Logic colloquium 1973 : proceedings of the Logic Colloquium, Bristol, July 1973 /
Publication:
Amsterdam : North-Holland Pub. Co.; New York : American Elsevier, 1975
. VIII, 513 p. ;
23 cm.
Date:1975
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
|
31. |
Proceedings of the third Scandinavian logic symposium /
Publication:
Amsterdam : North Holland Publishing Company, 1975
. 214 p. ;
23 cm.
Date:1975
Availability:
Copies available:
Istituto di Ingegneria Biomedica
(1),
Actions:
|
|
