Your search returned 46 results.

Results
1.	Image from Google Jackets Image from OpenLibrary	Kleene symposium Barwise Jon Ed.; Keisler H Jeroma Ed.; Kunen Kenneth Ed. by Barwise Jon Ed Keisler H Jeroma Ed Kunen Kenneth Ed 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. Place hold Save to lists Add to cart (remove)
2.	Image from Google Jackets Image from OpenLibrary	Lambda calculus: its syntax and semantics Barendregt H P 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. Place hold Save to lists Add to cart (remove)
3.	Image from Google Jackets Image from OpenLibrary	Large infinitary languages Dickmann M A 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. Place hold Save to lists Add to cart (remove)
4.	Image from Google Jackets Image from OpenLibrary	Theory of relations Fraisse R 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. Place hold Save to lists Add to cart (remove)
5.	Image from Google Jackets Image from OpenLibrary	Logic Colloquium '73 Rose H. E. Ed.; Shepherdson J. C. Ed. by Rose H. E. Ed Shepherdson J. C. Ed 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. Place hold Save to lists Add to cart (remove)
6.	Image from Google Jackets Image from OpenLibrary	Proceeding on generalized recursion theory Fenstad J E Ed.; Hinman P G Ed. by Fenstad J E Ed Symposium on generalized recuesion theory (1972 : Osto) Hinman P G Ed 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. Place hold Save to lists Add to cart (remove)
7.	Image from Google Jackets Image from OpenLibrary	Logic in Algebraic form: Three languages and theories Graig William 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. Place hold Save to lists Add to cart (remove)
8.	Image from Google Jackets Image from OpenLibrary	Truth and consequence in Medieval logic Moody Ernest A 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. Place hold Save to lists Add to cart (remove)
9.	Image from Google Jackets Image from OpenLibrary	Proceedings truth syntax and modality by Confrerence onb alternative semantic. Temlpe Universuity Confrerence onb alternative semantic. Temlpe Universuity 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. Place hold Save to lists Add to cart (remove)
10.	Image from Google Jackets Image from OpenLibrary	Undercidable theories Tarski Alfred by Tarski Alfred Series: Studies in logic and the foundations of mathem,atics ed by L E J Brauwer 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: R14 J33. Place hold Save to lists Add to cart (remove)
11.	Image from Google Jackets Image from OpenLibrary	Undecidable theories Tarski Alfred 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. Place hold Save to lists Add to cart (remove)
12.	Image from Google Jackets Image from OpenLibrary	Combinatory logic Curry Haskell B; Feys Robert by Curry Haskell B Feys Robert 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. Place hold Save to lists Add to cart (remove)
13.	Image from Google Jackets Image from OpenLibrary	Foundations of mathematics Beth Evert W 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. Place hold Save to lists Add to cart (remove)
14.	Image from Google Jackets Image from OpenLibrary	Foundations of mathematics Beth Evert W 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. Place hold Save to lists Add to cart (remove)
15.	Image from Google Jackets Image from OpenLibrary	Toward a systematic pragmatics Martin R M 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. Place hold Save to lists Add to cart (remove)
16.	Image from Google Jackets Image from OpenLibrary	Lincos Freudenehal Hans 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). Place hold Save to lists Add to cart (remove)
17.	Image from Google Jackets Image from OpenLibrary	Survey of mathematical logic Wang Hao 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. Place hold Save to lists Add to cart (remove)
18.	Image from Google Jackets Image from OpenLibrary	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)
19.	Image from Google Jackets Image from OpenLibrary	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)
20.	Image from Google Jackets Image from OpenLibrary	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)
21.	Image from Google Jackets Image from OpenLibrary	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)
22.	Image from Google Jackets Image from OpenLibrary	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)
23.	Image from Google Jackets Image from OpenLibrary	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)
24.	Image from Google Jackets Image from OpenLibrary	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)
25.	Image from Google Jackets Image from OpenLibrary	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)
26.	Image from Google Jackets Image from OpenLibrary	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)
27.	Image from Google Jackets Image from OpenLibrary	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)
28.	Image from Google Jackets Image from OpenLibrary	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)
29.	Image from Google Jackets Image from OpenLibrary	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)
30.	Image from Google Jackets Image from OpenLibrary	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)
31.	Image from Google Jackets Image from OpenLibrary	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)
32.	Image from Google Jackets Image from OpenLibrary	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)
33.	Image from Google Jackets Image from OpenLibrary	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)
34.	Image from Google Jackets Image from OpenLibrary	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)
35.	Image from Google Jackets Image from OpenLibrary	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)
36.	Image from Google Jackets Image from OpenLibrary	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)
37.	Image from Google Jackets Image from OpenLibrary	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)
38.	Image from Google Jackets Image from OpenLibrary	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)
39.	Image from Google Jackets Image from OpenLibrary	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)
40.	Image from Google Jackets Image from OpenLibrary	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)
41.	Image from Google Jackets Image from OpenLibrary	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)
42.	Image from Google Jackets Image from OpenLibrary	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)
43.	Image from Google Jackets Image from OpenLibrary	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)
44.	Image from Google Jackets Image from OpenLibrary	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)
45.	Image from Google Jackets Image from OpenLibrary	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)
46.	Image from Google Jackets Image from OpenLibrary	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 46 results.