Rongo Univesity Library catalog › Results of search for 'su:Logic, Symbolic and mathematical.'

Your search returned 135 results.

	1.	No cover image available Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology / Publication: Amsterdam, Netherlands ; \| Fairfax, VA : IOS Press, 2009 . x, 285 p. : Date: 2009 Availability: No items available: Add to cart (remove)
	2.	No cover image available Foundations without foundationalism a case for second-order logic. by Shapiro, Stewart, Publication: Oxford : \| New York : Clarendon Press ; \| Oxford University Press, 2000 . xxii, 277 p. , Originally published: Oxford: Clarendon, 1991. Date: 2000 Availability: No items available: Add to cart (remove)
	3.	No cover image available Frege and other philosophers by Dummett, Michael, Publication: Oxford : \| New York : Clarendon Press ; \| Oxford University Press, 1991 . xii, 330 p. Date: 1991 Availability: No items available: Add to cart (remove)
	4.	No cover image available Tracking reason proof, consequence, and truth / by Azzouni, Jody. Publication: New York : Oxford University Press, 2006 . vi, 248 p. Date: 2006 Availability: No items available: Add to cart (remove)
	5.	No cover image available Proof, logic, and formalization Publication: London ; \| New York : Routledge, 1992 . x, 241 p. : Date: 1992 Availability: No items available: Add to cart (remove)
	6.	No cover image available Deducibility and decidability by Gill, R. R. Rockingham, Publication: London ; \| New York : Routledge, 1990 . viii, 162 p. Date: 1990 Availability: No items available: Add to cart (remove)
	7.	No cover image available Proof and knowledge in mathematics Publication: London ; \| New York : Routledge, 1992 . x, 256 p. Date: 1992 Availability: No items available: Add to cart (remove)
	8.	No cover image available Logic with trees an introduction to symbolic logic / by Howson, Colin. Publication: London ; \| New York : Routledge, 1997 . xiii, 197 p. : Date: 1997 Availability: No items available: Add to cart (remove)
	9.	No cover image available Uncertain inference by Kyburg, Henry Ely, Publication: Cambridge, UK ; \| New York : Cambridge University Press, 2001 . xii, 298 p. : Date: 2001 Availability: No items available: Add to cart (remove)
	10.	No cover image available Symbolic computation and education Publication: Singapore ; \| Hackensack, NJ : World Scientific, 2007 . viii, 245 p. : , "International Seminar on Symbolic Computation in Education (SCE 2006) held at Beihang University, Beijing, China from the 12th to 14th April 2006."--P. [v]. Date: 2007 Availability: No items available: Add to cart (remove)
	11.	No cover image available Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology / Publication: Amsterdam, Netherlands ; \| Fairfax, VA : IOS Press, 2009 . x, 285 p. : Date: 2009 Availability: No items available: Add to cart (remove)
	12.	No cover image available Foundations without foundationalism a case for second-order logic. by Shapiro, Stewart, Publication: Oxford : \| New York : Clarendon Press ; \| Oxford University Press, 2000 . xxii, 277 p. , Originally published: Oxford: Clarendon, 1991. Date: 2000 Availability: No items available: Add to cart (remove)
	13.	No cover image available Frege and other philosophers by Dummett, Michael, Publication: Oxford : \| New York : Clarendon Press ; \| Oxford University Press, 1991 . xii, 330 p. Date: 1991 Availability: No items available: Add to cart (remove)
	14.	No cover image available Tracking reason proof, consequence, and truth / by Azzouni, Jody. Publication: New York : Oxford University Press, 2006 . vi, 248 p. Date: 2006 Availability: No items available: Add to cart (remove)
	15.	No cover image available Andrzej Mostowski and foundational studies Publication: Amsterdam ; \| Washington, D.C. : Ios Press, 2008 . xi, 447 p. : Date: 2008 Availability: No items available: Add to cart (remove)
	16.	No cover image available Proof, logic, and formalization Publication: London ; \| New York : Routledge, 1992 . x, 241 p. : Date: 1992 Availability: No items available: Add to cart (remove)
	17.	No cover image available Deducibility and decidability by Gill, R. R. Rockingham, Publication: London ; \| New York : Routledge, 1990 . viii, 162 p. Date: 1990 Availability: No items available: Add to cart (remove)
	18.	No cover image available Proof and knowledge in mathematics Publication: London ; \| New York : Routledge, 1992 . x, 256 p. Date: 1992 Availability: No items available: Add to cart (remove)
	19.	No cover image available Logic with trees an introduction to symbolic logic / by Howson, Colin. Publication: London ; \| New York : Routledge, 1997 . xiii, 197 p. : Date: 1997 Availability: No items available: Add to cart (remove)
	20.	No cover image available Mathematical logic by Tourlakis, George J. Publication: Cambridge, UK ; \| New York : Cambridge University Press, 2003 . xi, 328 p. Date: 2003 Availability: No items available: Add to cart (remove)

1
2
3
4
5
6
7
Next
Last

Rongo Univesity Library

Refine your search

Availability

Authors

Series

Topics

Your search returned 135 results.