IMSc Library catalog › Results of search for 'su:"Predicate calculus."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Tableau systems for first order number theory and certain higher order theories / Sue Toledo. by Toledo, Sue Ann. Series: Lecture notes in mathematics (Springer-Verlag) ; 447.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1975Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 33 Call number: 51 LNM. Place hold Log in to add tags
			Two papers on the predicate calculus / [electronic resource] by S.C. Kleene. by Kleene, Stephen Cole, 1909-1994 \| Kleene, Stephen Cole, 1909-1994. Permutability of inferences in Gentzen's calculi LK and LJ \| Kleene, Stephen Cole, 1909-1994. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Series: Memoirs of the American Mathematical Society ; no. 10.Edition: Rev.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 1967, c1952 (1985 printing)Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags