Your search returned 15 results.

Results
	1.	No cover image available Varieties of constructive mathematics / Douglas Bridges by Bridges, Douglas Publication details: Cambridge Univ. Pr. 1987 Availability: Items available for loan: University Library (1)Call number: 511.3. Place hold Request article Add to cart (remove)
	2.	No cover image available Logic for mathematicians Alan G. Hamilton. by Hamilton, Alan G., 1943- Publication details: Cambridge Cambridge Univ. Pr. 2001 Availability: Items available for loan: University Library (1)Call number: None. Place hold Request article Add to cart (remove)
	3.	Wittgenstein's tractatus : an introduction/ H.O. Mounce by MOUNCE, H.O Publication details: Oxford: Basil Blackwell; 1981 Availability: Items available for reference: University Library: Not For Loan (1)Call number: 149.943 W831m. Request article Add to cart (remove)
	4.	No cover image available The Axiomatic method: an introduction to mathematical logic/ A.H. Lightstone. by LIGHTSTONE, A.H Publication details: Englewood Cliffs, N.J.: Prentice-Hall; 1964 Availability: Items available for loan: University Library (1)Call number: 164 L724a. Items available for reference: University Library: Not For Loan (1)Call number: 164 L724a. Place hold Request article Add to cart (remove)
	5.	No cover image available Elements of mathematical logic/ P.S. Novikov tr. by Leo F. Boron. by NOVIKOV, P.S Publication details: Edinburgh: Oliver and Boyd; 1964 Availability: Items available for reference: University Library: Not For Loan (1)Call number: 164 N943e. Request article Add to cart (remove)
	6.	No cover image available Constructive order types/ John N. Crossley. by CROSSLEY, John N Series: (Studies in Logic and the fluoridations of Mathematics) Publication details: Amsterdam: North-Holland; 1969 Availability: Items available for reference: University Library: Not For Loan (1)Call number: 164 C951c. Request article Add to cart (remove)
	7.	No cover image available Combinatory logic/ by Haskell B. Curry and Robert Feys with two sections by William Craig. by CURRY, Haskell B Series: (Studies in logic and the foundations of mathematics) Publication details: Amsterdam: North-Holland; 1968 Availability: Items available for reference: University Library: Not For Loan (1)Call number: 164 C976c. Request article Add to cart (remove)
	8.	No cover image available New Methods in symbolic logic/ Gerald G. Standley. by STANDLEY, Gerald B Publication details: Boston: Houghton; 1971 Availability: Items available for loan: University Library (4)Call number: 164 S785n, ... Items available for reference: University Library: Not For Loan (1)Call number: 164 S785n. Place hold Request article Add to cart (remove)
	9.	No cover image available Contributions to mathematical logic: proceedings of the logic colloquium, Hannover 1966/ ed by H. Arnold Schmidt, K. Schutte and H.-J. Thiele by SCHMIDT, H. Arnold ed Series: (Studies in logic and the foundations of Mathematics) Publication details: Amsterdam: North-Holland; 1968 Availability: Items available for reference: University Library: Not For Loan (1)Call number: 164 S351c. Request article Add to cart (remove)
	10.	No cover image available Tractatus logico-philosophicus/ Ludwig Wittgenstein, tr, by D.F. Pears and B.F. McGuiness; with an introduction by Bertrand Russell. by Wittgenstein, Ludwig, 1889-1951 Publication details: London : Rutledge, 1974 Availability: Items available for reference: University Library: Not For Loan (1)Call number: 192 W831t. Request article Add to cart (remove)
	11.	No cover image available Axiomatic set theory, with a historical introductio/ by Paul Bernays and Amraham A. Fraenkel by BERNAYS, Paul Series: (Studies in logic and the foundations of Mathematics) Publication details: Amsterdam: North-Holland; 1968 Availability: Items available for reference: University Library: Not For Loan (1)Call number: 164 B524a. Request article Add to cart (remove)
	12.	No cover image available Logic for mathematicians Alan G. Hamilton. by Hamilton, Alan G., 1943- Publication details: Cambridge Cambridge Univ. Pr. 2001 Availability: Items available for loan: University Library (1). Place hold Request article Add to cart (remove)
	13.	No cover image available Varieties of constructive mathematics / Douglas Bridges by Bridges, Douglas Publication details: Cambridge Univ. Pr. 1987 Availability: Items available for loan: University Library (1)Call number: 511.3. Place hold Request article Add to cart (remove)
	14.	Logic With Trees: an introduction to symbolic logic/ Colin Howson. by Howson, Colin Publication details: London: Routledge; c1997 Availability: Items available for loan: University Library (2)Call number: 160 H866l, ... Items available for reference: University Library: Not For Loan (1)Call number: 160 H866l. Place hold Request article Add to cart (remove)
	15.	No cover image available Elements of mathematical logic/ Jan Lukasiewicz by LUKASIEWICZ, Jan Publication details: Oxford: Pergamon Press; 1963 Availability: Items available for reference: University Library: Not For Loan (1)Call number: 164 L954e. Request article Add to cart (remove)