|
|
1. |
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:
No items available:
Checked out (1),
Actions:
|
|
|
2. |
Proceedings of the Second Scandinavian Logic Symposium /
Publication:
Amsterdam : North-Holland Pub. Co., 1971
. 413 p. ;
, Held June 18-20, 1970. A meeting of the Association for Symbolic Logic.
23 cm.
Date:1971
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
3. |
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics /
Publication:
Amterdam : North-Holland, 1973
. VIII, 317 p. ;
, Sponsored by the College of Liberal Arts of Temple University and the Association for Symbolic Logic
23 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
4. |
Logic colloquium '69 : proceedings of the Summer school and Colloquiun in Mathematical Logic, Manchester, August 1969 /
Publication:
Amsterdam North-Holland, 1971
. XIV, 451 p. ;
23 cm.
Date:1971
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
5. |
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:
|
|
|
6. |
Algebraic and logic programming : second International conference, Nancy, France, October 1-3, 1990, proceedings /
Publication:
Berlin : Springer-Verlag, 1990
. VII, 386 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
7. |
Vol. 1
Publication:
Cambridge, (Mass.) : The MIT Press, 1989
. X, 642 p. :
23 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8. |
Vol. 1
Publication:
Cambridge : The MIT Press, 1988
. XX, 858 p. :
23 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
9. |
Vol. 1
Publication:
Cambridge : The MIT Press, 1987
. XIV, 555 p. :
23 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
10. |
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:
No items available:
Checked out (1),
Actions:
|
|
|
11. |
Vol. 2
Publication:
Cambridge : The MIT Press, 1988
. XX, P. 860-1690 p. :
23 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
12. |
Vol. 2
Publication:
Cambridge : The MIT Press, 1987
. XIV, P. 555-1056 p. :
23 cm
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
13. |
Vol. 2
Publication:
Cambridge, (Mass.) : The MIT Press, 1989
. X, P646-1239 :
23 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
14. |
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:
No items available:
Checked out (1),
Actions:
|
|
|
15. |
Cambridge Summer School in Mathematical Logic, held in Cambridge, England, August 1-21, 1971 /
Publication:
Berlin ; New York : Springer-Verlag, 1973
. IX, 660 p. ;
25 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
16. |
Contributions to non-standard analysis /
Publication:
Amsterdam : North-Holland Pub. Co., 1972
. VI, 291 p. ;
23 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
17. |
Natural language and logic : proceedings /
Publication:
Berlin ; New York : Springer-Verlag, 1990
. 252 p. :
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
18. |
Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 /
Publication:
Berlin ; New York : Springer-Verlag, 1986
. IX, 311 p. :
25 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
19. |
Third International Conference on logic programming, Imperial College of Science and technology, London, United Kingdom, July 14-18, 1986 : proceedings /
Publication:
Berlin : Springer-Verlag, 1986
. IX, 720 p. :
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
20. |
Logic and data bases /
Publication:
New York : Plenum Press, 1978
. VIII, 458 p. :
26 cm.
Date:1978
Availability:
No items available:
Checked out (1),
Actions:
|
|