Your search returned 47 results.

Algebraic approach to non-classical logics. 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.

Axiom of choice 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).

Combinatory logic by

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.

Combinatory logic by

Series: Studies in logic and the foundations of mathematics ed by L E J Brouwer

Material type:

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.

Combinatory logic. 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.

Dictionary of symbols of mathematical logic. by

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.

Dictionary of symbols of mathematical logic. by

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.

Elements of mathematical logic Model theory by

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.

Essay in modal logic 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.

10.

Essay in modal logic 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.

11.

Essay in model logic. 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.

12.

Essay in model logic. 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.

13.

Formal systems and recursive functions. by

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.

14.

Foundations of mathematics a study in the philosophy of science by

Beth Evert W

Series: Studies in logic and the foundations of mathematics ed by L E J Brouwer; 3

Material type:

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.

15.

Foundations of mathematics a study in the philosophy of science by

Beth Evert W

Series: Studies in logic and the foundations of mathematics ed by L E J Brouwer; 3

Material type:

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.

Fundamentals of generalized recursion theory. 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.

17.

Hypothetical reasoning 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.

18.

Intensional mathematics. 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.

19.

Intuitionism 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.

20.

Intuitionism : an introduction. by

Heyting A

Series: Studies in logic and the foundations of mathematics

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: Amsterdam North-Holland publishing co. 1956

Availability: Items available for reference: Ratan Tata Library : Not for loan (1)Collection, call number: R4 J6/SC.

21.

Intuitionism and proof theory Proceedings of the summer conference at buffalo N.Y.1968. by

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.

22.

Kleene symposium by

Series: Studies in logic and the foundations of mathematics; 101

Material type:

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.

23.

Lambda calculus: its syntax and semantics by

Barendregt H P

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 1984

Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1) M1;M4.

24.

Large infinitary languages by

Dickmann M A

Series: Studies in Logic and the foundations of Mathematics; 83

Material type:

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.

25.

Lincos design of a language for cosmic intertcourse by

Freudenehal Hans

Series: Studies in logic and the foundations of mathematics ed by L E J Brouwer

Material type:

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).

26.

Logic Colloquium '73 by

Series: Studies in logic and the foundations of mathematics; 80

Material type:

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.

27.

Logic in Algebraic form: Three languages and theories by

Graig William

Series: Studies in logic and the foundations of mathematics; 72

Material type:

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.

28.

Nomological statements and admissible operations. 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.

29.

Outlines of a formalist philosophy of mathematics. 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.

30.

Problem of inductive logic 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.

31.

Problem of inductive logic 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.

32.

Problems in the philosophy of mathematics. 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.

33.

Problems in the philosophy of science Proceeding by

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.

34.

Problems in the philosophy of science Proceeding by

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.

35.

Problems of inductive logic. 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.

36.

Problems of inductive logic. 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.

37.

Proceeding of the herbrand symposium. 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.

38.

Proceeding on generalized recursion theory by

Series: Studies in logic and the foundations of mathematics; 79

Material type:

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.

39.

Proceedings truth syntax and modality by

Series: Studies in logic and the foundations of mathematics ed by A Heyting etc; 68

Material type:

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.

40.

Survey of mathematical logic by

Wang Hao

Series: Studies in logic and the foundations of mathematics ed by L E J Brouwer

Material type:

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.

41.

Theory of relations by

Fraisse R

Series: Studies in logic and the foundations of mathematics; 118p

Material type:

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.

42.

Toward a systematic pragmatics by

Martin R M

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: 1959

Availability: Items available for loan: Arts Library (1)Collection, call number: R14 J95.

43.

Truth and consequence in mediaeval logic. 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.

44.

Truth and consequence in Medieval logic by

Moody Ernest A

Series: Studies in logic and the foundations of mathematics ed by L E J Brower etc

Material type:

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.

45.

Undecidable theories 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.

46.

Undecidable theories 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.

47.

Undecidable theories by

Tarski Alfred

Series: Studies in logic and the foundations of mathematics ed by L E J Brouwer

Material type:

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.

Not finding what you're looking for?

Make a purchase suggestion

Refine your search

Availability

Authors

Item types

Series

Topics

Holding libraries

Home libraries

Languages

Your search returned 47 results.