UNIVERSITY LIBRARY CATALOGUE

Refine your search

Your search returned 277 results.

Sort
Results
181.
Algebraic methods of mathematics logic / Ladislav Rieger; transl atedby Micheal Basch by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Newyork : Acdemic Press , 1967
Availability: No items available.

182.
Complete theories / Abraham Robinson by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam : New Holland Pub. Co , 1956
Availability: No items available.

183.
Many-valued logics / by J. Barkley Rosser, Atwell R. Turquette by Series: Studied in logic and the foundations of bmathematics repr. 1958
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam : North-Holland Pub. Co , 1952
Availability: No items available.

184.
First-order functional calculus / by G.B.Keene by Series: Monographs in modern logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Dover Publications , 1966, 1964
Availability: No items available.

185.
Solvable cases of the decision problem / Wilhelm Ackermann by Series: Studies in logic and the foundations of mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam : North-Holland Pub Co. , 1954
Availability: No items available.

186.
A survey of symbolic / Clarence Irving Lewis by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: ew York : Dover Publications , 1960
Availability: No items available.

187.
An introduction to symbolic logic/ Susanne Katherina Langer by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Dover publications , 1953
Availability: No items available.

188.
Introduction to semantics and formalization of logic / Rudolf Car nap by Series: His studies in semantics ; v. 1-2
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge : Harvard University Press , 1961
Availability: No items available.

189.
Introduction to mathematical logic./ Elliot Mendelson by Series: The University series in undergraduate mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Princeton, N.J., Van Nostrand [1964]
Availability: No items available.

190.
191.
The calculi of lambda-conversion / by Alonzo Church. by Series: Annals of mathematics studies ; no. 6
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Princeton : London : Princeton University press ; H. Milfor d, Oxford University press , 1941
Availability: No items available.

192.
Introductory real analysis / by M.E. Munroe. by Series: Addison-Wesley series in mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Reading, Mass. : Addison-Wesley Pub. Co. , 1965
Availability: No items available.

193.
The hollow universe / Charles de Koninck by Series: The Whidden lectures ; ser. 4, 1959
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Oxford University Press , 1960
Availability: Items available for loan: Main Library - Open Shelves (1)Call number: 501 KON.

194.
Logic and knowledge : essays 1901-1950/ by B.R.Russell ;edited by Robert Charles Marsh by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Allen & Unwin , 1956
Availability: Items available for loan: CHUSS- Arts Library (4). Main Library - Open Shelves (1).

195.
The Axiomatic method in biology / J. H. Woodger by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge, Eng. : The University Press, 1937
Availability: Items available for loan: Main Library - Open Shelves (1)Call number: 570.15 WOO.

196.
Philosophical problems of many -valued logic / by A. A. Zinov'ev ; translated by Guido Kung and David Dinsmore Comey. by
Edition: rev. ed.
Material type: Text Text
Publication details: Dordrecht, Holland : D. Reidel Pub. Co., 1963
Availability: Items available for loan: Main Library - Open Shelves (1)Call number: 164 ZIN.

197.
Foundations of mathematics / by William S. Hatcher. by Series: Saunders mathematics books ;
Material type: Text Text
Publication details: Philadelphia : W. B. Saunders Co., 1968
Availability: Items available for loan: Main Library - Open Shelves (1).

198.
Symbolic logic and language : a programmed text / by James Dic koff [and] Patricia James. by
Material type: Text Text
Publication details: New York : McGraw-Hill, [1965]
Availability: Items available for loan: College of Natural Sciences Library- CONAS (1)Call number: 164 DIC. Main Library - Open Shelves (1)Call number: 164 DIC.

199.
Symbolic logic / [by] Irving M. Copi. by
Edition: 4th ed.
Material type: Text Text
Publication details: New York : Macmillan, [1973]
Availability: Items available for loan: Main Library - Open Shelves (2)Call number: 511.3 COP, ...

200.
A survey of symbolic logic : the classic algebra of logic / C. I. Lewis. by
Material type: Text Text
Publication details: New York : Dover Publications inc., c1960
Availability: Items available for loan: College of Education and External Studies Library - Open Stacks (1)Call number: 160.0723 LEW.