Your search returned 9 results.

Results
	1.	The logic of plurality / J. E. J. Altham by Altham, J. E. J. (James Edward John) Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London : Methuen, c1971 Availability: Items available for loan: National Library of India (1)Call number: E164 Al79. Place hold Request article Save to lists
	2.	Completeness, compactness, and undecidability : an introduction to mathematical logic / Alfred B. Manaster by Manaster, Alfred B, 1938- Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Englewood Cliffs : Prentice-Hall, c1975 Availability: Items available for loan: National Library of India (2)Call number: E164 M311, ... Place hold Request article Save to lists
	3.	Logic form and function : the mechanization of deductive reasoning / J. A. Robinson by Robinson, J. A. (John Alan) Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Edinburgh : The University Press, c1979 Availability: Items available for loan: National Library of India (1)Call number: E160 R563. Place hold Request article Save to lists
	4.	No cover image available Model theory for modal logic : kripke models for modal predicate calcule / Kenneth A. Bowen by Bowen, Kenneth A Series: Synthese library ; v. 127 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Dordrecht : D. Reidel Pub., c1979 Availability: Items available for loan: National Library of India (1)Call number: E510.1 B675. Place hold Request article Save to lists
	5.	The computational complexity of logical theories / Jeanne Ferrante [and] Charles W. Rackoff by Ferrante, Jeanne, 1949- Rackoff, Charles W, 1948- [jt. aut] Series: Lecture notes in mathematics ; 718 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin : Springer-Verlag, 1979 Availability: Items available for loan: National Library of India (1)Call number: E/O 510.82 L 497. Place hold Request article Save to lists
	6.	The computational complexity of logical theories / Jeanne Ferrante [and] Charles W. Rackoff by Ferrante, Jeanne, 1949- Rackoff, Charles W, 1948- [jt. aut] Series: Lecture notes in mathematics ; 718 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin : Springer-Verlag, 1979 Availability: Items available for loan: National Library of India (1)Call number: E/O 510.82 L 497. Place hold Request article Save to lists
	7.	Ontological economy : substitutional quantification and mathematics / Dale Gottlieb by Gottlieb, Dale Series: Clarendon library of logic and philosophy Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford : The University Press, c1980 Availability: Items available for loan: National Library of India (1)Call number: E111 G715. Place hold Request article Save to lists
	8.	Formal semantics and pragmatics for natural languages / edited by F. Guenthner and S. J. Schmidt by Guenthner, Franz [edt] Schmidt, Siegfried J, 1940- [edt] Series: Synthese language library ; v. 4 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Dordrecht : D. Reidel, 1979 Availability: Items available for loan: National Library of India (1)Call number: E401 G935. Place hold Request article Save to lists
	9.	Technical methods in philosophy / John L. Pollock by Pollock, John L Series: Focus series Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boulder : Westview Press, c1990 Availability: Items available for loan: National Library of India (1)Call number: E164 P765t. Place hold Request article Save to lists

web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India