Your search returned 2 results.

Results
	1.	No cover image available No cover image available No cover image available Symbolic logic and mechanical theorem proving/ [by] Chin-liang Chang [and] Richard Char-Tung Lee. by Chang, Chin-Liang, 1937- Lee, Richard Char-Tung, 1939- [joint author.] Series: Computer science and applied mathematics Publication details: New York: Academic Press, [1973] Availability: Items available for loan: Castorina (1)Call number: 511.3 C456s 1973 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	Recursive function theory and logic. Ann Yasuhara. by Yasuhara, Ann Series: Computer science and applied mathematics Publication details: New York: Academic Press, [1971] Availability: Items available for loan: Castorina (1)Call number: 511.3 Y29r 1971 IMPA. Found in Open Library: Place hold Add to cart (remove)

Refine your search