Your search returned 51 results.

Sort
Results
1.
Kleene symposium Barwise Jon Ed.; Keisler H Jeroma Ed.; Kunen Kenneth Ed. by Series: Studies in logic and the foundations of mathematics; 101
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North Holland 1980
Availability: Items available for loan: Central Science Library (1)Collection, call number: B1p1,N78 M0.

2.
Lambda calculus: its syntax and semantics Barendregt H P by Series: Studies in logic and the foundations of mathematics
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North Holland 1984
Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) M1;M4.

3.
Large infinitary languages Dickmann M A by Series: Studies in Logic and the foundations of Mathematics; 83
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North-Holland 1975
Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R14) L5.

4.
Theory of relations Fraisse R by Series: Studies in logic and the foundations of mathematics; 118p
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North-Holland 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: B271 M6.

5.
Logic Colloquium '73 Rose H. E. Ed.; Shepherdson J. C. Ed. by Series: Studies in logic and the foundations of mathematics; 80
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North Holland 1975
Availability: Items available for loan: Central Science Library (1)Collection, call number: B:R14p1,N73 L5.

6.
Proceeding on generalized recursion theory Fenstad J E Ed.; Hinman P G Ed. by Series: Studies in logic and the foundations of mathematics; 79
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: New York North Holland 1974
Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1)p1,N73 L4.

7.
Logic in Algebraic form: Three languages and theories Graig William by Series: Studies in logic and the foundations of mathematics; 72
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North Holland Pub. 1974
Availability: Items available for loan: Central Science Library (1)Collection, call number: B2:(R1) L41.

8.
Truth and consequence in Medieval logic Moody Ernest A by Series: Studies in logic and the foundations of mathematics ed by L E J Brower etc
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1953
Availability: Items available for loan: Arts Library (1)Collection, call number: R1 J34.

9.
Proceedings truth syntax and modality by Series: Studies in logic and the foundations of mathematics ed by A Heyting etc; 68
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1973
Availability: Items available for loan: Arts Library (1)Collection, call number: R14p1:N70 L3.

10.
Constructivity in mathematatics Heyting A ed proceedings by Series: Studies in logic and the foundations of mathamatics ed by L ED J Brouwer etc
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1957
Availability: Items available for loan: Arts Library (1)Collection, call number: R14p1:N57 J7.

11.
Undercidable theories Tarski Alfred by Series: Studies in logic and the foundations of mathem,atics ed by L E J Brauwer etc
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1953
Availability: Items available for loan: Arts Library (1)Collection, call number: R14 J33.

12.
Undecidable theories Tarski Alfred by Series: Studies in logic and the foundations of mathematics ed by L E J Brouwer
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1953
Availability: Items available for loan: Arts Library (1)Collection, call number: R14 J33;1.

13.
Combinatory logic Curry Haskell B; Feys Robert by Series: Studies in logic and the foundations of mathematics ed by L E J Brouwer
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1958
Availability: Items available for loan: Arts Library (1)Collection, call number: R14 J81.1.

14.
Axiomatic set theory Bernays Paul by Series: Studies in logic and the foundations
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1958
Availability: Items available for loan: Arts Library (1)Collection, call number: R14 J82.

15.
Foundations of mathematics Beth Evert W a study in the philosophy of science by Series: Studies in logic and the foundations of mathematics ed by L E J Brouwer; 3
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1959
Availability: Items available for loan: Arts Library (1)Collection, call number: R14 J9-;1.

16.
Foundations of mathematics Beth Evert W a study in the philosophy of science by Series: Studies in logic and the foundations of mathematics ed by L E J Brouwer; 3
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1959
Availability: Items available for loan: Arts Library (1)Collection, call number: R14 J9-;1.

17.
Toward a systematic pragmatics Martin R M by Series: Studies in logic and the foundations of mathematics ed by L E J Brouwer etc
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1959
Availability: Items available for loan: Arts Library (1)Collection, call number: R14 J95.

18.
Lincos Freudenehal Hans design of a language for cosmic intertcourse by Series: Studies in logic and the foundations of mathematics ed by L E J Brouwer
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: 1960
Availability: Items available for loan: Arts Library (1)Collection, call number: P99N6 K0.1 (PD).

19.
Survey of mathematical logic Wang Hao by Series: Studies in logic and the foundations of mathematics ed by L E J Brouwer
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Peking Science Press Ching 1963
Availability: Items available for loan: Arts Library (1)Collection, call number: R14 K31.

20.
Elements of mathematical logic Kreisel G; Krivine J L Model theory by Series: Studies in logic and the foundations of mathematics ed by A Heyting
Material type: Text 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.

21.
Combinatory logic Curry Haskell B; Hindley J. Roger by Series: Studies in logic and the foundations of mathematics ed by Heyting
Material type: Text 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.

22.
Axiom of choice Jech Thomas J by Series: Studies in logic and the foundations of mathematics; 75
Material type: Text 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).

23.
Hypothetical reasoning Rescher Nicholas by Series: Studies in logic and the foundations of mathematics ed by L E J Brouwer etc
Material type: Text 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.

24.
Essay in modal logic Von Wright Georg H by Series: Studies in logic and the foundations of mathematics , ed by L E J Brouwer etc.; 1
Material type: Text 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.

25.
Essay in modal logic Wright Georg H Von by Series: Studies in logic and the foundations of mathematics , ed by L E J Brouwer, etc
Material type: Text 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.

26.
Undecidable theories Tarski Alfred by Series: Studies in Logic and the Foundations of Mathematics. Ed by L E J Brouwer etc
Material type: Text 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.

27.
Problems in the philosophy of science Lakatos Imre Ed.; Musgrave Alan Ed. Proceeding by Series: Studies In Logic And The Foundations Of Mathematics
Material type: Text 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.

28.
Problem of inductive logic Lakatos Imre Ed. Proceedings of the international colloquium in the philosophy of science, london, 1965, volume 2 by Series: studies in Logic and the Foundations of Mathematics. Ed by A Heyting etc
Material type: Text 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.

29.
Intuitionism HEYTING A An introduction. by Series: Studies in logic and the foundations of mathematics
Material type: Text 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.

30.
Undecidable theories Tarski Alfred by Series: Studies in Logic and the Foundations of Mathematics. Ed by L E J Brouwer etc
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North Holland Netherland 1953
Availability: No items available.

31.
Problems in the philosophy of science Lakatos Imre Ed.; Musgrave Alan Ed. Proceeding by Series: Studies In Logic And The Foundations Of Mathematics
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North- Holland Publishing Company 1968
Availability: No items available.

32.
Problem of inductive logic Lakatos Imre Ed. Proceedings of the international colloquium in the philosophy of science, london, 1965, volume 2 by Series: studies in Logic and the Foundations of Mathematics. Ed by A Heyting etc
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North-Holland 1968
Availability: No items available.

33.
Intuitionism HEYTING A An introduction. by Series: Studies in logic and the foundations of mathematics
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North-Holland publishing co. 1956
Availability: No items available.

34.
Formal systems and recursive functions. Crossley J N; Dummett M A E by Series: Studies in logic and the foundations of mathematics
Material type: Text 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.

35.
Intensional mathematics. Shapiro Stewart Ed. by Series: Studies in logic and the foundations of mathematics
Material type: Text 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.

36.
Outlines of a formalist philosophy of mathematics. Curry Haskell B by Series: Studies in logic and the foundations of mathematics
Material type: Text 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.

37.
Problems of inductive logic. Lakatos Imre Ed. by Series: studies in logic and the foundations of mathematics
Material type: Text 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.

38.
Problems of inductive logic. Lakatos Imre Ed. by Series: studies in logic and the foundations of mathematics
Material type: Text 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.

39.
Intuitionism and proof theory Kino A Ed.; Myhill J Ed. Proceedings of the summer conference at buffalo N.Y.1968. by Series: Studies in logic and the foundations of mathematics
Material type: Text 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.

40.
Handbook of mathematical logic. Barwise Jon Ed. by Series: Studies in logic and the foundations of mathematical
Material type: Text 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.

41.
Proceeding of the herbrand symposium. Stern J Ed. by Series: Studies in logic and the foundations of mathematics
Material type: Text 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.

42.
Dictionary of symbols of mathematical logic. Feys Robert Ed.; Fitch Frederic B Ed. by Series: Studies in logic and the foundations of mathematics
Material type: Text 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.

43.
Combinatory logic. Curry Haskell B by Series: Studies in logic and the foundations of mathematics
Material type: Text 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.

44.
Problems in the philosophy of mathematics. Lakatos Imre Ed. by Series: studies in logic and the foundations of mathematics
Material type: Text 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.

45.
Algebraic approach to non-classical logics. Rasiowa Helena by Series: Studies in logic and the foundations of mathematics
Material type: Text 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.

46.
Fundamentals of generalized recursion theory. Fitting Melvin by Series: Studies in logic and the foundations of mathematics
Material type: Text 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.

47.
Dictionary of symbols of mathematical logic. Feys R; Fitch F B by Series: Studies in logic and the foundations of mathematics ed by A Heyting,etc
Material type: Text 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.

48.
Essay in model logic. Wright Georg H.Von by Series: Studies in logic and the foundations of mathematics,ed.by L.E.J.Brouwer,etc
Material type: Text 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.

49.
Essay in model logic. Wright Georg H.Von by Series: Studies in logic and the foundations of mathematics,ed.by L.E.J.Brouwer,etc
Material type: Text 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.

50.
Nomological statements and admissible operations. Reichenbach Hans by Series: Studies in logic and the foundations of mathematics, ed by L .E.J.Brouwer,etc
Material type: Text 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.