Your search returned 963 results.

Results
	821.	An outline of mathematical logic : fundamental result and notions explained with all details / Andrzej Grzegorczyk by Grzegorczyk, Andrzej Material type: Text; Format: print ; Literary form: Not fiction Publication details: Dordrecht : D Reidel Publishing, 1974 Availability: Items available for loan: Calcutta (1)Call number: 511.3 GRZ. Place hold
	822.	No cover image available A Survey of mathematical logic / Wang Hao by Hao, Wang Material type: Text; Format: print ; Literary form: Not fiction Publication details: Peking : Science Press, 1964 Availability: Items available for loan: Calcutta (1)Call number: 511.3 HAO. Place hold
	823.	No cover image available From Frege to Godel : a source book in mathematical logic, 1879-1931 / Jean Van Heijenoort by Van Heijenoort, Jean Series: Source books in the history of the sciences Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Harvard University Press, 1967 Availability: Items available for loan: Calcutta (1)Call number: 510.1 VAN. Place hold
	824.	No cover image available Constructively in mathematics : proceedings of the colloquium held at Amsterdam / A Heyting by Heyting, A (ed) Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North-Holland, 1959 Availability: Items available for loan: Calcutta (1)Call number: 511.3 HEY. Place hold
	825.	Introduction to combinatory logic / J R Hindley, B Lercher and J P Seldin by Hindley, J R Lercher, B Seldin, J P Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, 1972 Availability: Items available for loan: Calcutta (1)Call number: 511.3 HIN. Place hold
	826.	No cover image available Mathematical logic and the foundations of mathematics : an introductory survey / G T Kneebone by Kneebone, G T Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Van Nostrand, 1963 Availability: Items available for loan: Calcutta (1)Call number: 511.3 KNE. Place hold
	827.	No cover image available Introduction to semantics, and Formalization of logic / Rudolf Carnap by Carnap, Rudolf Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambrige : Harvard University Press, 1959 Availability: Items available for loan: Calcutta (1)Call number: 149.94 CAR. Place hold
	828.	No cover image available A Profile of mathematical logic / Howard Delong by Delong, Howard Material type: Text; Format: print ; Literary form: Not fiction Publication details: Reading : Addison-Wesley, 1970 Availability: Items available for loan: Calcutta (1)Call number: 511.3 DEL. Place hold
	829.	No cover image available The Axiomatic method with special reference to geometry and physics / Leon Henkin, Patrick Suppes and Alfred Taraski by Henkin, Leon (ed) Suppes, Patrick (ed) Taraski, Alfred (ed) Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North Holland Publishing, 1959 Availability: Items available for loan: Calcutta (1)Call number: 511.3 HEN. Place hold
	830.	No cover image available The Axiomatic method : an introduction to mathematical logic / A H Lightstone by Lightstone, A H Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs : Prentice Hall, 1964 Availability: Items available for loan: Calcutta (1)Call number: 511.3 LIG. Place hold
	831.	No cover image available Combinatory logic / Haskell B Curry and Robert Feys by Curry, Haskell B Feys, Robert Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North Holland Publishing, 1958 Availability: Items available for loan: Calcutta (1)Call number: 511.3 CUR. Place hold
	832.	Mathematical foundations of programming / Frank S Beckman by Beckman, Frank S Series: The Systems programming series Material type: Text; Format: print ; Literary form: Not fiction Publication details: Reading : Addison-Wesley, 1980 Availability: Items available for loan: Calcutta (2)Call number: 005.131 BEC, ... Place hold
	833.	Microprocessors and logic design / Ronald L Krutz by Krutz, Ronald L Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : John Wiley & Sons, 1980 Availability: Items available for loan: Calcutta (1)Call number: 621.395 KRU. Place hold
	834.	Formal methods in artificial intelligence by Ramsay, Allan Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : University Press, 1988 Availability: Items available for loan: Calcutta (1)Call number: 006.3 RAM. Place hold
	835.	The Mathematics of inheritance systems by Touretzky, David S Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Pitman, 1986 Availability: Items available for loan: Calcutta (1)Call number: 006.3 TOU. Place hold
	836.	No cover image available Computer science and multiple valued logic : theory and application / David C Rine by Rine, David C (ed) Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North-Holland, 1977 Availability: Items available for loan: Calcutta (1)Call number: 511.3120285 RIN. Place hold
	837.	Computer arithmetic : principles, architecture, and design / Kai Hwang by Hwang, Kai Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : John Wiley, 1979 Availability: Items available for loan: Calcutta (1)Call number: 004.0151 KWA. Place hold
	838.	No cover image available Threshold logic / Philip M Lewis and Clarence Leroy Coates by Lewis, Philip M Coates, Clarence Leroy Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Wiley, 1967 Availability: Items available for loan: Calcutta (1)Call number: 621.381537 LEW. Place hold
	839.	Automata theory : an engineering approach / Igor Aleksander and F Keith Hanna by Aleksander, Igor Hanna, F Keith Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Crane Russak, 1975 Availability: Items available for loan: Calcutta (1)Call number: 511.35 ALE. Place hold
	840.	Arrow logic and multi-modal logic / Maarten Marx, Laszlo Polos and Michael Masuch by Marx, Maarten (ed) Masuch, Michael (ed) Polos, Laszlo (ed) Material type: Text; Format: print ; Literary form: Not fiction Publication details: California : CSLI Publications, 1996 Availability: Items available for loan: Calcutta (1)Call number: 160 MAR. Place hold

First
Previous
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
Next
Last

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 963 results.