Your search returned 90 results.

Results
	51.	Transfinite type theory with type variables Andrews P B by Andrews P B Series: Studies in logic and the foundation of mathematics ed by L E J Broughwer Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: 1965 Availability: Items available for loan: Arts Library (1)Collection, call number: R14 K53. Place hold Save to lists Add to cart (remove)
	52.	Elements of mathematical logic Kreisel G; Krivine J L Model theory by Kreisel G Krivine J L Series: Studies in logic and the foundations of mathematics ed by A Heyting Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: 1967 Availability: Items available for loan: Arts Library (1)Collection, call number: R14 K7. Place hold Save to lists Add to cart (remove)
	53.	Combinatory logic Curry Haskell B; Hindley J. Roger by Curry Haskell B Hindley J. Roger Series: Studies in logic and the foundations of mathematics ed by Heyting Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North Holland The Netherlands 1972 Availability: Items available for loan: Arts Library (1)Collection, call number: R14 L2.2. Place hold Save to lists Add to cart (remove)
	54.	Axiom of choice Jech Thomas J by Jech Thomas J Series: Studies in logic and the foundations of mathematics; 75 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North Holland 1973 Availability: Items available for loan: Arts Library (1)Collection, call number: R14 L31 (ER). Place hold Save to lists Add to cart (remove)
	55.	Hypothetical reasoning Rescher Nicholas by Rescher Nicholas Series: Studies in logic and the foundations of mathematics ed by L E J Brouwer etc Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: 1964 Availability: Items available for loan: Arts Library (1)Collection, call number: R193 K4. Place hold Save to lists Add to cart (remove)
	56.	Essay in modal logic Von Wright Georg H by Von Wright Georg H Series: Studies in logic and the foundations of mathematics , ed by L E J Brouwer etc.; 1 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: 1951 Availability: Items available for loan: Arts Library (1)Collection, call number: R1N3 J11. Place hold Save to lists Add to cart (remove)
	57.	Essay in modal logic Wright Georg H Von by Wright Georg H Von Series: Studies in logic and the foundations of mathematics , ed by L E J Brouwer, etc Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: 1951 Availability: Items available for loan: Arts Library (1)Collection, call number: R1N3 J11;1. Place hold Save to lists Add to cart (remove)
	58.	Conditionals Crocco G. Ed.; Cerro L.Farinas Del Ed.; Herzig A. Ed. from philosophy to computer science by Crocco G. Ed Cerro L.Farinas Del Ed Herzig A. Ed Series: Studies in logic and computation; 5 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Oxford Clarendon press 1995 Availability: Items available for loan: Arts Library (1)Collection, call number: R1,(D65,8(B)) N5. Place hold Save to lists Add to cart (remove)
	59.	Set theory Kunen Kenneth An introduction to independence proof by Kunen Kenneth Series: Studies in logic and the foundation of mathematics.102 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North Holland 1980 Availability: Items available for loan: Ratan Tata Library (1)Collection, call number: B316 M0. Place hold Save to lists Add to cart (remove)
	60.	Undecidable theories Tarski Alfred by Tarski Alfred Series: Studies in Logic and the Foundations of Mathematics. Ed by L E J Brouwer etc Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North Holland Netherland 1953 Availability: Items available for loan: Ratan Tata Library (1)Collection, call number: R14 J3. Place hold Save to lists Add to cart (remove)
	61.	Problems in the philosophy of science Lakatos Imre Ed.; Musgrave Alan Ed. Proceeding by Lakatos Imre Ed Musgrave Alan Ed Series: Studies In Logic And The Foundations Of Mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North- Holland Publishing Company 1968 Availability: Items available for loan: Ratan Tata Library (1)Collection, call number: A:(R) K8. Place hold Save to lists Add to cart (remove)
	62.	Problem of inductive logic Lakatos Imre Ed. Proceedings of the international colloquium in the philosophy of science, london, 1965, volume 2 by Lakatos Imre Ed Series: studies in Logic and the Foundations of Mathematics. Ed by A Heyting etc Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland 1968 Availability: Items available for loan: Ratan Tata Library (1)Collection, call number: B:(R1) K8. Place hold Save to lists Add to cart (remove)
	63.	Intuitionism HEYTING A An introduction. by HEYTING A Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland publishing co. 1956 Availability: Items available for loan: Ratan Tata Library (1)Collection, call number: R4 J6/SC. Place hold Save to lists Add to cart (remove)
	64.	Set theory Kunen Kenneth An introduction to independence proof by Kunen Kenneth Series: Studies in logic and the foundation of mathematics.102 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North Holland 1980 Availability: No items available. Save to lists Add to cart (remove)
	65.	Undecidable theories Tarski Alfred by Tarski Alfred Series: Studies in Logic and the Foundations of Mathematics. Ed by L E J Brouwer etc Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North Holland Netherland 1953 Availability: No items available. Save to lists Add to cart (remove)
	66.	Problems in the philosophy of science Lakatos Imre Ed.; Musgrave Alan Ed. Proceeding by Lakatos Imre Ed Musgrave Alan Ed Series: Studies In Logic And The Foundations Of Mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North- Holland Publishing Company 1968 Availability: No items available. Save to lists Add to cart (remove)
	67.	Problem of inductive logic Lakatos Imre Ed. Proceedings of the international colloquium in the philosophy of science, london, 1965, volume 2 by Lakatos Imre Ed Series: studies in Logic and the Foundations of Mathematics. Ed by A Heyting etc Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland 1968 Availability: No items available. Save to lists Add to cart (remove)
	68.	Intuitionism HEYTING A An introduction. by HEYTING A Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland publishing co. 1956 Availability: No items available. Save to lists Add to cart (remove)
	69.	Formal systems and recursive functions. Crossley J N; Dummett M A E by Crossley J N Dummett M A E Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland Publishing 1965 Availability: Items available for loan: South Campus Library (1)Collection, call number: R193 K5. Place hold Save to lists Add to cart (remove)
	70.	Problems in the philosophy of science. Lakatos Imre Ed.; Musgrave Alan Ed. by Lakatos Imre Ed Musgrave Alan Ed Series: Studies in logic Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland Publishing 1968 Availability: Items available for loan: South Campus Library (1)Collection, call number: R:(A) K8. Place hold Save to lists Add to cart (remove)
	71.	Intensional mathematics. Shapiro Stewart Ed. by Shapiro Stewart Ed Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Oxford North Holland 1985 Availability: Items available for loan: South Campus Library (1)Collection, call number: R14 M5. Place hold Save to lists Add to cart (remove)
	72.	Contributions to non standrd analysis. Luxemburg W A J Ed.; Robinson A Ed. by Luxemburg W A J Ed Robinson A Ed Series: Studies in logic and foundations of mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: London North Holland Publishing 1972 Availability: Items available for loan: South Campus Library (1)Collection, call number: R14 L2. Place hold Save to lists Add to cart (remove)
	73.	Outlines of a formalist philosophy of mathematics. Curry Haskell B by Curry Haskell B Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: London North Hooland Publihing 1951 Availability: Items available for loan: South Campus Library (1)Collection, call number: R:(B) J1. Place hold Save to lists Add to cart (remove)
	74.	Problems of inductive logic. Lakatos Imre Ed. by Lakatos Imre Ed Series: studies in logic and the foundations of mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North Holland Publishing 1968 Availability: Items available for loan: South Campus Library (1)Collection, call number: R11 K8. Place hold Save to lists Add to cart (remove)
	75.	Problems of inductive logic. Lakatos Imre Ed. by Lakatos Imre Ed Series: studies in logic and the foundations of mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North Holland Publishing 1968 Availability: Items available for loan: South Campus Library (1)Collection, call number: R11 K8. Place hold Save to lists Add to cart (remove)
	76.	Intuitionism and proof theory Kino A Ed.; Myhill J Ed. Proceedings of the summer conference at buffalo N.Y.1968. by Kino A Ed Myhill J Ed Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: London North Holland Publishing 1970 Availability: Items available for loan: South Campus Library (1)Collection, call number: R14 L0. Place hold Save to lists Add to cart (remove)
	77.	Handbook of mathematical logic. Barwise Jon Ed. by Barwise Jon Ed Series: Studies in logic and the foundations of mathematical Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Oxford North Holland 1977 Availability: Items available for loan: South Campus Library (1)Collection, call number: R14 L7. Place hold Save to lists Add to cart (remove)
	78.	Proceeding of the herbrand symposium. Stern J Ed. by Stern J Ed Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: New York North Holland Publishing 1982 Availability: Items available for loan: South Campus Library (1)Collection, call number: R14p1,N81 M2. Place hold Save to lists Add to cart (remove)
	79.	Dictionary of symbols of mathematical logic. Feys Robert Ed.; Fitch Frederic B Ed. by Feys Robert Ed Fitch Frederic B Ed Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North Holland Publishing 1969 Availability: Items available for loan: South Campus Library (1)Collection, call number: R14k K9 RR. Place hold Save to lists Add to cart (remove)
	80.	Combinatory logic. Curry Haskell B by Curry Haskell B Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: London North Holland Publishing 1972 Availability: Items available for loan: South Campus Library (1)Collection, call number: R14 L2. Place hold Save to lists Add to cart (remove)
	81.	Problems in the philosophy of mathematics. Lakatos Imre Ed. by Lakatos Imre Ed Series: studies in logic and the foundations of mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: London North Holland Publishing 1967 Availability: Items available for loan: South Campus Library (1)Collection, call number: R:(B) K7. Place hold Save to lists Add to cart (remove)
	82.	Algebraic approach to non-classical logics. Rasiowa Helena by Rasiowa Helena Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: New York North-Holland Publishing 1974 Availability: Items available for loan: South Campus Library (1)Collection, call number: R14 L4. Place hold Save to lists Add to cart (remove)
	83.	Fundamentals of generalized recursion theory. Fitting Melvin by Fitting Melvin Series: Studies in logic and the foundations of mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Oxford North Holland Publishing 1981 Availability: Items available for loan: South Campus Library (1)Collection, call number: R14 M1. Place hold Save to lists Add to cart (remove)
	84.	Handbook of the logic of argument and inference Gabbay Dov M and others Ed. by Gabbay Dov M and others Ed Series: Studies in logic and practical reasoning Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North Holland 2002 Availability: Items available for loan: Central Library (1)Collection, call number: R192 P2. Place hold Save to lists Add to cart (remove)
	85.	Ancient formal logic. Bochenski I.M. by Bochenski I.M Series: Studies in logic and the foundation of mathematics, ed. by L.E.J.Brouwer,etc Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: 1951 Availability: Items available for loan: Central Library (1)Collection, call number: R1 J12. Place hold Save to lists Add to cart (remove)
	86.	Dictionary of symbols of mathematical logic. Feys R; Fitch F B by Feys R Fitch F B Series: Studies in logic and the foundations of mathematics ed by A Heyting,etc Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: 1969 Availability: Items available for loan: Central Library (1)Collection, call number: R14k K9. Place hold Save to lists Add to cart (remove)
	87.	Essay in model logic. Wright Georg H.Von by Wright Georg H.Von Series: Studies in logic and the foundations of mathematics,ed.by L.E.J.Brouwer,etc Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: 1951 Availability: Items available for loan: Central Library (1)Collection, call number: R1N3 J11;1. Place hold Save to lists Add to cart (remove)
	88.	Essay in model logic. Wright Georg H.Von by Wright Georg H.Von Series: Studies in logic and the foundations of mathematics,ed.by L.E.J.Brouwer,etc Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: 1951 Availability: Items available for loan: Central Library (1)Collection, call number: R1N3 J11;1. Place hold Save to lists Add to cart (remove)
	89.	Nomological statements and admissible operations. Reichenbach Hans by Reichenbach Hans Series: Studies in logic and the foundations of mathematics, ed by L .E.J.Brouwer,etc Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: 1954 Availability: Items available for loan: Central Library (1)Collection, call number: R14 J41. Place hold Save to lists Add to cart (remove)
	90.	Truth and consequence in mediaeval logic. Moody Ernest A. by Moody Ernest A Series: Studies in logic and the foundations of mathematics, ed. by L.E.J.Brouwer,etc Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: 1953 Availability: Items available for loan: Central Library (1)Collection, call number: R1 J31. Place hold Save to lists Add to cart (remove)

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 90 results.