Your search returned 10 results.

Sort
Results
1.
Image from Coce
Image from OpenLibrary
Logic and integer programming by Williams H Paul by Series: International series in operations research and management science
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Dordrecht Springer 2009
Availability: Items available for loan: Central Science Library (1)Collection, call number: B217 P9.

2.
Image from Coce
Image from OpenLibrary
Mathematical logic for computer science Ben-Ari Mordechai by
Edition: 2
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: London Springer-Verlag 2003
Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1)0b9S P3.

3.
Image from OpenLibrary
Selected papers in logic and foundations, didactics,economics Menger Karl by Series: Vienna Circle Collection; 10
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Dordrecht D Reidel 1979
Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) L91.

4.
Image from OpenLibrary
Course in mathematical logic Koblitz Neal Tr.; Manin Yu I by Series: Graduate Texts in Mathematics; 53
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Spring-Verlag 1977
Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) L7.

5.
Image from OpenLibrary
Mathematical logic Monk J Donald by Series: Graduate texts in Mathematics; 3
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York Springer-Verlag 1976
Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) L6.

6.
Image from OpenLibrary
Symbolic logic and mechanical theorem proving Chang Chin-Lang; Lee Richard Char-Tung by Series: Computer science classics
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Boston Academic Press 1973
Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) L31;1.

7.
Image from OpenLibrary
Sets, logic, and axiomatic theories by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: San Francisco W.H. Freeman & Company 1961
Availability: Items available for reference: Ratan Tata Library : Not for loan (1)Collection, call number: B316 K1/SC.

8.
Image from OpenLibrary
Foundations of mathematics and other logical essays by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Totowa Littlefields Adams and Co. 1965
Availability: Items available for reference: Ratan Tata Library : Not for loan (1)Collection, call number: B:(R1) K5/SC.

9.
Image from Coce
Image from OpenLibrary
The Joy of X: A Guided Tour of Math, from One to Infinity / by Steven Strogatz by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: London: Atlantic books, 2012
Availability: Items available for loan: Central Science Library (1)Collection, call number: O_,3N59,J Q2.

10.
Image from Coce
Image from OpenLibrary
Topics in Model Theory / by Anand Pillay by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Singapore: World Scientific, 2024
Availability: Items available for loan: Central Science Library (1)Collection, call number: Bz7 R4.