Refine your search

Your search returned 66 results.

Not what you expected? Check for suggestions
Sort
Results
PRINT
Statement and predicate logic - summaries of theory and exercises solved Mercedes Orus Lacort by
Material type: Text Text
Language: English
Publication details: Lulu ; ]s.l.[ ; 2018; c2018
Availability: Items available for loan: المكتبة الرئيسية (1)Location, call number: الطابق الثالث أ BC135.L33 2018.

PRINT
Popular lectures on mathematical logic Wang Hao by
Material type: Text Text
Language: English
Publication details: Van Nostrand Reinhold Co. ; New York ; 1981; c1981
Availability: Items available for loan: المكتبة الرئيسية (1)Location, call number: الطابق الثاني أ QA9.W36 1981.

PRINT
Principles of mathematical logic D. Hilbert and W. Ackermann ; translated from the German by Lewis M. Hammond, George G. Leckie, F. Steinhardt ; edited and with notes by Robert E. Luce by
Material type: Text Text
Language: English
Publication details: Chelsea ; New York ; 1950; c1950
Availability: Items available for loan: المكتبة الرئيسية (1)Location, call number: الطابق الثاني أ QA9.H52413 1950.

PRINT
Mathematical fallacies and paradoxes / Bryan H. Bunch. by
Material type: Text Text
Language: English
Publication details: Van Nostrand Reinhold Co. ; New York ; 1982; c1982
Availability: Items available for loan: المكتبة الرئيسية (1)Location, call number: الطابق الثاني أ QA9.B847.

PRINT
Math and logic games / Franco Agostini. by
Material type: Text Text
Language: English
Publication details: Facts on File ; New York, N.Y. ; 1983; c1983
Availability: Items available for loan: المكتبة الرئيسية (1)Location, call number: الطابق الثاني أ QA95.A2713 1983.

PRINT
Mathematical logic [by] Joseph R. Shoenfield. by Series: Addison-Wesley series in logic
Material type: Text Text
Language: English
Publication details: Addison-Wesley Pub. Co. ; Reading, Mass. ; 1967; [1967]
Availability: Items available for loan: المكتبة الرئيسية (1)Location, call number: الطابق الثاني أ QA9.S52.

PRINT
Introduction to mathematical logic... By Alonzo Church. Notes by C.A. Truesdell by Series: [ Annals of mathematics studies ] | . No.13
Material type: Text Text
Language: English
Publication details: Princeton University Press ; Princeton ; 1944; 1944-
Availability: Items available for loan: المكتبة الرئيسية (1)Location, call number: الطابق الثالث أ BC135.C4.

PRINT
Logic and structure Dirk Van Dalen by Series: Universitext
Edition: 3rd Augmented ed.
Material type: Text Text
Language: English
Publication details: Springer-Verlag ; Berlin ; 1994; 1994
Availability: Items available for loan: المكتبة الرئيسية (1)Location, call number: الطابق الثاني أ QA9.D16 1994.

PRINT
Symbolic logic Irving M. Copi by
Edition: 5th ed.
Material type: Text Text
Language: English
Publication details: Macmillan ; New York ; 1979; 1979
Availability: Items available for loan: المكتبة الرئيسية (1)Location, call number: الطابق الثالث أ BC135.C58 1979.

PRINT
The basic laws of arithmetic : exposition of the system Translated and edited, with an introduction, by Montgomery Furth by
Material type: Text Text
Language: English
Publication details: University of California Press ; Berkeley ; 1964; 1964
Availability: Items available for loan: المكتبة الرئيسية (1)Location, call number: الطابق الثالث أ BC135.F6813 1964.

PRINT
PRINT
Quantification theory By J. A. Faris by Series: Monographs in modern logic
Material type: Text Text
Language: English
Publication details: Routledge & Kegan Paul ; London ; 1964; 1964
Availability: Items available for loan: المكتبة الرئيسية (1)Location, call number: الطابق الثالث أ BC135.F37 1964.

PRINT
Logic for mathematicians A. G. Hamilton. by
Material type: Text Text
Language: English
Publication details: Cambridge University Press ; Cambridge [Eng.] ; 1978; 1978
Availability: Items available for loan: المكتبة الرئيسية (1)Location, call number: الطابق الثاني أ QA9.H298.

PRINT
Mathematical logic for computer science M. Ben-Ari by Series: Prentice-Hall international series in computer science
Material type: Text Text
Language: English
Publication details: Prentice-Hall ; New York ; 1993; 1993
Availability: Items available for loan: المكتبة الرئيسية (1)Location, call number: الطابق الثاني أ QA9.B3955 1993.

PRINT
Logic and arithmetic David Bostock by
Material type: Text Text
Language: English
Publication details: Clarendon Press ; Oxford ; 1974-; 1974-75
Availability: Items available for loan: المكتبة الرئيسية (1)Location, call number: الطابق الثاني أ QA9.B68. Items available for reference: المكتبة الرئيسية: Not for loan (1)Location, call number: الطابق الثاني أ QA9.B68.

PRINT
A Course in mathematical logic Yu I. Manin / Translated from the Russian by Neal Koblitz by Series: Graduate texts in mathematics | . 53
Material type: Text Text
Language: English
Publication details: Springer-Verlag ; New York ; 1977\n; ( 1977 )
Availability: Items available for loan: المكتبة الرئيسية (1)Location, call number: الطابق الثاني أ QA9.M296.

PRINT
A mathematical introduction to logic [by] Herbert B. Enderton. by
Material type: Text Text
Language: English
Publication details: Academic Press ; New York ; 1972; [1972]
Availability: Items available for loan: المكتبة الرئيسية (1)Location, call number: الطابق الثاني أ QA9.E54 1972.

PRINT
Introduction to semantics , and Formalization of logic Formalization of logic Rudolf Carnap by Series: ( His Studies in semantics) | . v.1-2
Material type: Text Text
Language: English
Publication details: Harvard University Press ; Cambridge ; 1959; 1959
Availability: Items available for loan: المكتبة الرئيسية (1)Location, call number: الطابق الثالث أ BC135.C316 1959.

PRINT
An introduction to symbolic logic Susanne Katherina (Knauth) Langer by
Edition: 2d ed. (rev.)
Material type: Text Text
Language: English
Publication details: Dover Publications ; New York ; 1953; [1953]
Availability: Items available for loan: المكتبة الرئيسية (1)Location, call number: الطابق الثالث أ BC135.L35 1953.

Pages

Powered by Koha