UNIVERSITY LIBRARY CATALOGUE

Refine your search

Your search returned 277 results.

Sort
Results
81.
Symbolic logic / Irving M. Copi by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Macmillan, 1954. repr. 1963
Availability: Items available for loan: Main Library - Open Shelves (1).

82.
Polish logic, 1920-1939 papers / by Ajdukiewicz ...; with an int roduction by Tadeusz Kotarbinaki; edited by Storrs McCall; translated b y B. Gruchman ... by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Oxford, : Clarendon Press, 1967
Availability: Items available for loan: Main Library - Open Shelves (1).

83.
Past present and the future / by Arthur Prior. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Oxford : Clarendon P. , 1967
Availability: Items available for loan: Main Library - Open Shelves (1).

84.
Proof in geometry / A. I. Fetisov; translated and adapted from th e 1st Russian ed. (1954) by Theodore M. Switz and Luise Lange. by Series: Topics in mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston : Heath, 1963
Availability: Items available for loan: Main Library - Africana (1).

85.
Set theory and logic / by Abraham A. Fraenkel. by Series: Adiwes international series
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Reading, Mass.: Addison-Wesley Pub. Co., [1966]
Availability: Items available for loan: Main Library - Open Shelves (1)Call number: 512.817 FRA.

86.
Sets, logic, and axiomatic theories / R. R. Stoll; drawings by Ev an Gillespie. by Series: A Series of undergraduate books in mathematics. Golden Gate books
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: San Francisco: W. H. Freeman, [1961]
Availability: Items available for loan: Main Library - Open Shelves (2)Call number: 512.817 STO, ...

87.
Set theory and its logic / W. V. O. Quine by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge: Belknap Press of Harvard University Press, 1963
Availability: Items available for loan: Main Library - Open Shelves (1)Call number: 512.817 QUI.

88.
Symbolic logic / Irving Copi by
Edition: 5th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Macmillan , 1979
Availability: Items available for loan: Main Library - Open Shelves (1).

89.
An introduction to symbolic logic/ Susanne Katherina Langer (Knau th) by
Edition: 2nd ed (rev.)
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Dover Publications, 1953
Availability: Items available for loan: Main Library - Open Shelves (2)Call number: 511.3 LAN, ...

90.
An introduction to symbolic logic / Susanne Katherina ( Kauth) La nger by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Allen & Unwin , 1937
Availability: Items available for loan: Main Library - Open Shelves (1)Call number: 511.3 LAN.

91.
Dictionary of symbols of mathematical logic / edited by Robert Fe ys, Frederic B. Fitch by Series: Studieds in logic and the foundation of mathematics 35.00
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam : North-Holland Pub. Co., , 1969
Availability: Items available for loan: Main Library - Open Shelves (1).

92.
Reduktionstheorie des Entscheidungsproblems im Pradikatenkakul der e rsten sturfe. / Janos Suranyi by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Veb Deutscher Verlag der Wissenschaften , 1959
Availability: Items available for loan: Main Library - Open Shelves (1).

93.
History of mathematics logic from Leibniz to peano / N. I. Stlya zhkin by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge : Mass. M. I. T. Press , 1969
Availability: Items available for loan: Main Library - Open Shelves (1).

94.
A survey of mathematical logic / Hao Wang by Series: Studieds in logic and the foundations of mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Peking : Science Press , 1962
Availability: Items available for loan: Main Library - Open Shelves (1)Call number: 164 WAN.

95.
Tractatus logico-philosohicus / Ludwig Wittgenstein, with a intr oduction by Bertrand Russell, F.R.S. by Series: Half title; International library of psychology. philosophy and sci entific method
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Newyork : Harcourt, Race & company, inc , 1922
Availability: Items available for loan: Main Library - Open Shelves (1).

96.
An introduction to Wittgenstein's Tractatus / M. E. G. Anscombe by Series: Hutchinson University library. Philosophy
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Hutchinson library, 1959
Availability: Items available for loan: Main Library - Open Shelves (1)Call number: 164 WIT.

97.
An introduction to wittgenstein's Tractatus / M. E. G. Anscombe by Series: Hutchinson University Library : Philosophy
Edition:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Hutchinson University Library , 1959
Availability: Items available for loan: MUARIK Library- Open Shelves (1)Call number: 164 WIT/ANS.

98.
A survey of mathematical logic / Hao Wang by Series: Studies in logic and the foundation of mathmatics
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Peking : Science Press , 1964
Availability: Items available for loan: MISR Library - Open Shelves (1)Call number: 164 WAN.

99.
Mathematical interpretation of formal systems / by Th. Skolem a nd others by Series: Studies in logic and the foundation of mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam : North-Holland Pub. Co., , 1955
Availability: Items available for loan: Main Library - Open Shelves (1).

100.
Logic, semantics, metamathematics : Papers from 1923 to 1938 / Alfred Tarski, Tranlated by J,. H. Woodger by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Oxford : Clarendon Press , 1965
Availability: Items available for loan: Main Library - Open Shelves (1).