|
|
21. |
Foundation of the logical theory of scientific knowledge (Complex logic) /
by Zinov'ev, Aleksandr Aleksandrovich
Publication:
Dordrecht : Reidel, 1973
. XXII, 301 p. ;
23 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
22. |
Topics in philosophical logic /
by Rescher, Nicholas
Publication:
Dordrecht : D. Reidel, 1968
. XIV, 347 p. ;
23 cm.
Date:1968
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
23. |
The theory of logical types /
by Copi, Irving M.
Publication:
London : Routledge and Kegan Paul, 1971
. X, 129 p. ;
18 cm.
Date:1971
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
24. |
Introduction to model theory and the metamathematics of algebra /
by Robinson, Abraham
Publication:
Amsterdam : North-Holland Pub. Co., 1963
. IX, 284 p. ;
, Based on the author's thesis, University of London.
23 cm.
Date:1963
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
25. |
Logic and visual information /
by Hammer, Eric M.
Publication:
Stanford : CSLI Publications ; [s.l.] : Folli, 1995
. IX, 124 p. ;
23 cm.
Date:1995
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
26. |
Model theory /
by Chang, Chen Chung
Publication:
Amstedam : North-Holland Pub. Co., 1973
. XII, 550 p. ;
23 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
27. |
The theory of semisets /
by Vopenka, Petr
Publication:
Amsterdam : North-Holland Pub. Co., 1972
. 332 p. ;
23 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
28. |
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:
|
|
|
29. |
Part 1: with an introductory chapter: general theory of algebras
Publication:
Amsterdam : North-Holland Pub. Co., 1971
. VI, 508 p. ;
23 cm.
Date:1971
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
30. |
Computer programming and formal systems /
by Braffort, P.
Publication:
Amsterdam : North-Holland, 1963
. VI, 161 p. ;
23 cm.
Date:1963
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
31. |
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:
|
|
|
32. |
Intuitionism : an introduction /
by Heyting, Arend
Publication:
Amsterdam : North-Holland Co., 1971
. VIII, 147 p. ;
23 cm.
Date:1971
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
33. |
The foundations of mathematics : a study in the philosophy of science /
by Beth, Evert Willem
Publication:
Amsterdam : North-Holland Pub., 1965
. XXVI, 741 p. :
23 cm.
Date:1965
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
34. |
The collected papers of Gerhard Gentzen /
by Gentzen, Gerhard
Publication:
Amsterdam : North-Holland Pub. Co., 1969
. XII, 338 p. :
23 cm.
Date:1969
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
35. |
Set theory and logic /
by Stoll, Robert R.
Publication:
San Francisco : Freeman, 1963
. 474 p. :
23 cm.
Date:1963
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
36. |
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
by Keisler, H. Jerome
Publication:
Amsterdam : North-Holland Pub. Co., 1971
. X, 208 p. ;
23 cm.
Date:1971
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
37. |
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:
|
|
|
38. |
The metamathematics of algebraic systems, collected papers: 1936-1967 /
by Mal'cev, Anatolii Ivanovich
Publication:
Amsterdam : North-Holland Pub. Co., 1971
. XVIII, 494 p. ;
23 cm.
Date:1971
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
39. |
Recursive number theory : a develpment of recursive arithmetic in a logic-free equation calculus /
by Goodstein, R. L.
Publication:
Amsterdam : Nort-Holland, 1964
. XII, 190 p. ;
21 cm.
Date:1964
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
40. |
Solvable cases of the decision problem /
by Ackermann, W.
Publication:
Amsterdam : North-Holland, 1968
. VIII, 114 p. ;
23 cm.
Date:1968
Availability:
No items available:
Checked out (1),
Actions:
|
|