UNIVERSITY LIBRARY CATALOGUE

Refine your search

Your search returned 739 results.

Sort
Results
301.
Sentences undecidable in formalized arithmetric : an exposition o f the theory of Kurt Godel / Andrzej Mostowski 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. , 1952, repr. 1957
Availability: No items available.

302.
Symbolic logic / Irving M. Copi by
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Macmillan, 1967
Availability: No items available.

303.
The axiomatic method : an introduction to mathematical logic / A. H Lightstone by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Englewood Cliffs : N. J. Prentice-Hall , 1964
Availability: No items available.

304.
An introducation to mathematical thought / Edward Russel Stabler by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge : Mass, , 1953
Availability: No items available.

305.
Mathematical logic and the foundations of mathematics : an introd uctory survey / G. Kneebon by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Van Nostrand , 1963
Availability: No items available.

306.
Amazon cover image
Image from Amazon.com
Modern logic : a text in elementary symbolic logic / Graeme Fo rbes. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Oxford University Press, 1994
Availability: No items available.

307.
Introduction to mathematical logic / Alonzo Church by Series: Princeton mathematical series ; no. 17
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Princeton : Princeton University Press , 1956-
Availability: No items available.

308.
Einfuhrung in die operative Logik und Mathematik. / Paul Lorenze n by Series: Die Grundlehren der mathematischen Wissenschaften in Elinzeldarstell ungen mit besonderer Berucksichtigung der Anwendungsgebiete ; . Bd. 78
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer , 1955
Availability: No items available.

309.
The logical problem of induction / Georg Henrik Von Wright by
Edition: 2nd rev. ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Oxford : B. Blackwell , 1957
Availability: No items available.

310.
Time and modality / Arthur N. Prior by Series: John Locke lectures, 1955-6
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Oxford : Clarendon Press, 1957
Availability: No items available.

311.
The basic laws of arithmetics : exposition of the system / Go ttlob Frege; translated and edited, with an intrd., by Montgomery Furth . by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berkeley : University of California Press, 1964
Availability: No items available.

312.
Mathematical logic / Reuben Louis Goodatein. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Leicester : University Press, 1957
Availability: No items available.

313.
Deductive logic / by Hugues Leblanc and William A. Wisdom. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston : Allyn and Bacon , 1972, repr. 1974
Availability: No items available.

314.
Quantification theory / by J. A. Faris by Series: Monographs in modern logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Routledge & K. Paul , 1966
Availability: No items available.

315.
Probability, confirmation and simplicity : readings in the philos ophy of induction logic. / edited by Marguerite H. Foster and Miche al L. Martin. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : The Odyssey Press , 1966
Availability: No items available.

316.
An introduction to many-valued logics / by Robert Ackermann by Series: Monographs in modern logic ; 10/6
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : ,Dover Publications 1967
Availability: No items available.

317.
The logical system of Lesniewski / Eugene Luschei by Series: Studies in logic and the foundations of mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam : North-Halland Pub. Co. , 1962
Availability: No items available.

318.
Introduction to symbolic logic and its applications / Rudolf Car nap; translated by William H. Meyer and John Wilkinson. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Dover Publications , 1958
Availability: No items available.

319.
Elementary logic / by Willard Van Orman Quine ... by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston : Ginn and company , 1941
Availability: No items available.

320.
The logic of nonsense / Soren Hallden. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Uppsala : Lundequistska bokhandeln , 1949
Availability: No items available.