Central Library, University of Rajshahi Search for 'an:151087'

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel /

By Mostowski, Andrzej..
Amsterdam : North-Holland, 1964 .
117 p. ; 22 cm..

]]> Place hold on Sentences undecidable in formalized arithmetic :

Abstract set theory /

By Fraenkel, Abraham Adolf,.
Amsterdam, North-Holland Pub. Co., 1966 .
295 p. ; 23 cm..

]]> Place hold on Abstract set theory /

Equivalents of the axiom of choice /

By Rubin, Herman..
Amsterdam, North-Holland Pub. Co., 1963 .
x, 134 p. ; , Imprint covered by label: New York, Humanities Press. 22 cm..

]]> Place hold on Equivalents of the axiom of choice /

Truth and consequence in mediaeval logic /

]]> By Moody, Ernest A..
Westport, Conn. : Greenwood Press, 1953 .
viii, 113 p. ; , Reprint of the 1953 ed. published by North-Holland Pub. Co., Amsterdam, in series: Studies in logic and the foundations of mathematics. 23 cm..
0837190533

]]> Place hold on Truth and consequence in mediaeval logic /

Outlines of a formalist philosophy of mathematics /

]]> By Curry, Haskell B .
Amsterdam : North-Holland Pub. Co., 1951 .
vii, 75 p. ; 23 cm..
072042206X

]]> Place hold on Outlines of a formalist philosophy of mathematics /

Solvable cases of the decision problem /

By Ackermann, W..
Amsterdam : North-Holland Pub. Co., 1954 .
114 p. ; 22 cm..

]]> Place hold on Solvable cases of the decision problem /

Non-standard analysis /

By Robinson, Abraham,.
Amsterdam : North-Holland Pub. Co., 1966 .
xi, 293 p. , On label mounted on t.p.: New York, Humanities Press. 23 cm..

]]> Place hold on Non-standard analysis /

Recursive analysis /

By Goodstein, R. L..
Amsterdam : North-Holland Pub. Co., 1961 .
viii, 138 p. ; , Include index 22 cm..

]]> Place hold on Recursive analysis /

Formal systems and recursive functions : proceedings of the eighth logic colloquium oxford, July 1963 /

Amsterdam : North-Holland Pub. Co., 1965 .
[4], 320 p. ; , Held at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute. | Includes the Symposium on Recursive Functions, sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union of the History and Philosophy of Science. 23 cm..

]]> Place hold on Formal systems and recursive functions :

Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 /

Amsterdam : North-Holland Pub. Co., 1967 .
[4], 331 p. ; 23 cm..

]]> Place hold on Sets, models and recursion theory :

Intuitionism : an introduction /

By Heyting, A..
Amsterdam : North-Holland, 1966 .
136 p. ; , Previous ed.: 1956. 23 cm..

]]> Place hold on Intuitionism :

A deductive theory of space and time /

By Basri, Saul A..
Amsterdam : North-Holland Pub. Co, 1966 .
xi, 165 p. ; 23 cm.

]]> Place hold on A deductive theory of space and time /

Ordinal algebras /

By Tarski, Alfred..
Amsterdam : North-Holland Pub. Co., 1956 .
133 p. ; , Includes index. 22 cm..

]]> Place hold on Ordinal algebras /

Sets and classes : on the work by Paul Bernays /

]]> New York : North-Holland Pub. Co. ; 1976 .
xxiii, 358 p. ; , Includes index. 23 cm..
0720422841

]]> Place hold on Sets and classes :

The theory of models : proceedings /

Amsterdam, North-Holland Pub. Co., 1965 .
xv, 494 p. : , Held at the University of California, Berkeley; sponsored by the Association for Symbolic Logic in cooperation with the Division of Logic, Methodology, and Philosophy of Sciences of the International Union of the History and Philosophy of Science. 23 cm..

]]> Place hold on The theory of models :

The axiomatic method with special reference to geometry and physics : Proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958. /

Amsterdam, North-Holland Pub. Co., 1959 .
xi, 488 p. : 23 cm..

]]> Place hold on The axiomatic method with special reference to geometry and physics :

Introduction to model theory and to the metamathematics of algebra /

By Robinson, Abraham,.
Amsterdam : North-Holland, 1965 .
xii, 284 p. ; 23 cm..

]]> Place hold on Introduction to model theory and to the metamathematics of algebra /

Abstract Set Theory /

By Fraenkel, Abraham A..
Amsterdam : North-Holland Pub. Co., 1953 .
xii,479 p. ; 23 cm..

]]> Place hold on Abstract Set Theory /