Your search returned 90 results.

Results
1.		Proceeding on logic colloquium 78 by Maurice Boffa Vandalen Drik Ed.; Mcaloon Kenneth Ed. by Maurice Boffa Vandalen Drik Ed Logic colloquium 78 (1978 : Mons) Mcaloon Kenneth Ed Series: Studies in logic and foundations of mathematicws; 97 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North Holland 1978 Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1)p1,N78 L9. Place hold Save to lists Add to cart (remove)
2.		Proceeding on logic, methodology and philosophy of science 4 by Suppes Patrick Ed.; Henkin Leon Ed.; Joja A Thanase Ed.; Moisil G R C Ed. by Suppes Patrick Ed International cogress on logic methodology and philosophy of science4 (1971 : Bucharest) Henkin Leon Ed Joja A Thanase Ed Moisil G R C Ed Series: Studies in logic and foundations of mathematics; 74 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: London North-Holland 1973 Availability: Items available for loan: Central Science Library (1)Collection, call number: A:(R)p1,N71 L3. Place hold Save to lists Add to cart (remove)
3.		Sets and classes on the work Bernays Paul; Muller Gert H Ed. by Bernays Paul Muller Gert H Ed Series: Studies in logic and foundations of mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: New York North Holland 1976 Availability: Items available for loan: Central Science Library (1)Collection, call number: B217 L6. Place hold Save to lists Add to cart (remove)
4.		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)
5.		Fundamentals of generalized recursion theory Fitting Melvin by Fitting Melvin Series: Studies in logic an dthe foundations of mathematics; 105 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland 1981 Availability: Items available for loan: Central Science Library (1)Collection, call number: B15 M11. Place hold Save to lists Add to cart (remove)
6.		Set theory: an introduction to independence proofs Kunen Kenneth by Kunen Kenneth Series: Studies in logic and formations 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: Central Science Library (1)Collection, call number: B217 M01;1. Place hold Save to lists Add to cart (remove)
7.		Set theory: an introduction to independence proofs Kunen Kenneth by Kunen Kenneth Series: Studies in logic and formations 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: Central Science Library (1)Collection, call number: B217 M01;1. Place hold Save to lists Add to cart (remove)
8.		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)
9.		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)
10.		Descriptive set theory Moschovakis Yannis N by Moschovakis Yannis N Series: Studies in logic and the foundation of mathematics; 100 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: New York North Holland 1980 Availability: Items available for loan: Central Science Library (1)Collection, call number: B217 M0. Place hold Save to lists Add to cart (remove)
11.		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)
12.		Proceeding on mathematical logic in Latin America Arruda A I Ed.; Chuaqui R Ed.; DaCosta N C A Ed. by Arruda A I Ed International conference on mathematical logic in Latin America Chuaqui R Ed DaCosta N C A Ed Series: Studies in logic and the foundation of mathematics; 99 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: B:(R1)p79.N78 M0. Place hold Save to lists Add to cart (remove)
13.		Hand book of Mathematical logic Barwise Jon Ed. by Barwise Jon Ed Series: Studies in logic and the foundation of mathematics; 90 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland 1977 Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1)g L7. Place hold Save to lists Add to cart (remove)
14.		Elementary induction on abstract structures Moschovakis Yiannis N by Moschovakis Yiannis N Series: Studies in Logic And Foundations of Matheamtics; 77 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) L4. Place hold Save to lists Add to cart (remove)
15.		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)
16.		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)
17.		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)
18.		Proceeding on generalized recursion theory Fenstad J E Ed.; Saoks G E Ed. by Fenstad J E Ed Symposium on generalized recursion theory (1978 : Oslo) Saoks G E Ed Series: Studies in logic and the foyndations of mathematics; 94 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North Holland 1978 Availability: Items available for loan: Central Science Library (1)Collection, call number: B:(R1)p1,N77 L8. Place hold Save to lists Add to cart (remove)
19.		Intensional logics for programming Farinas Del Cerro L Ed.; Penttonen M Ed. by Farinas Del Cerro L Ed Penttonen M Ed Series: Studies in logic and computation; 1 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Oxford Clarendon Press 1992 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92:(R1) N2. Place hold Save to lists Add to cart (remove)
20.	Image from Coce	Southeast asian conference on logic: proceddings of the logic conference, Singapore 1981 Chong C.T. Ed.; Wicks M.J. Ed. by Chong C.T. Ed Wicks M.J. Ed Series: Studies in logic Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland Availability: Items available for loan: Arts Library (1)Collection, call number: R1p43,N81 M3. Place hold Save to lists Add to cart (remove)
21.		Theory of models: Proceedings of the 1963 international symposium at Brekeley Addison J.W. Ed.; Henkin Leon Ed.; Tarski Alfred Ed. by Addison J.W. Ed Henkin Leon Ed Tarski Alfred Ed Series: Studies in logic Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdum North-Hollend Pub. Co. Availability: Items available for loan: Arts Library (1)Collection, call number: R14p1:N63 K5;2. Place hold Save to lists Add to cart (remove)
22.		Theory of models: Proceedings of the 1963 international symposium at Brekeley Addison J.W. Ed.; Henkin Leon Ed.; Tarski Alfred Ed. by Addison J.W. Ed Henkin Leon Ed Tarski Alfred Ed Series: Studies in logic Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdum North-Hollend Pub. Co. Availability: Items available for loan: Arts Library (1)Collection, call number: R14p1:N63 K5;2. Place hold Save to lists Add to cart (remove)
23.		Theory of models: Proceedings of the 1963 international symposium at Brekeley Addison J.W. Ed.; Henkin Leon Ed.; Tarski Alfred Ed. by Addison J.W. Ed Henkin Leon Ed Tarski Alfred Ed Series: Studies in logic Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdum North-Hollend Pub. Co. Availability: Items available for loan: Arts Library (1)Collection, call number: R14p1:N63 K5;2. Place hold Save to lists Add to cart (remove)
24.		The collected papers of Gerhard Gentzen Szabo M.E. Ed. by Szabo M.E. Ed Series: Studies in logic Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: London North-Holland Pub. Co. Availability: Items available for loan: Arts Library (1)Collection, call number: R14xN09z7 K9. Place hold Save to lists Add to cart (remove)
25.	Image from Coce	Southeast asian conference on logic: proceddings of the logic conference, Singapore 1981 Chong C.T. Ed.; Wicks M.J. Ed. by Chong C.T. Ed Wicks M.J. Ed Series: Studies in logic Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland Availability: No items available. Save to lists Add to cart (remove)
26.		Theory of models: Proceedings of the 1963 international symposium at Brekeley Addison J.W. Ed.; Henkin Leon Ed.; Tarski Alfred Ed. by Addison J.W. Ed Henkin Leon Ed Tarski Alfred Ed Series: Studies in logic Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdum North-Hollend Pub. Co. Availability: No items available. Save to lists Add to cart (remove)
27.		Theory of models: Proceedings of the 1963 international symposium at Brekeley Addison J.W. Ed.; Henkin Leon Ed.; Tarski Alfred Ed. by Addison J.W. Ed Henkin Leon Ed Tarski Alfred Ed Series: Studies in logic Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdum North-Hollend Pub. Co. Availability: No items available. Save to lists Add to cart (remove)
28.		Theory of models: Proceedings of the 1963 international symposium at Brekeley Addison J.W. Ed.; Henkin Leon Ed.; Tarski Alfred Ed. by Addison J.W. Ed Henkin Leon Ed Tarski Alfred Ed Series: Studies in logic Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdum North-Hollend Pub. Co. Availability: No items available. Save to lists Add to cart (remove)
29.		The collected papers of Gerhard Gentzen Szabo M.E. Ed. by Szabo M.E. Ed Series: Studies in logic Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: London North-Holland Pub. Co. Availability: No items available. Save to lists Add to cart (remove)
30.	Image from Coce	Treatise on many-valued logics Gottwald Siegfried by Gottwald Siegfried Series: Studies in logic and computation Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Baldock Research Studies Press LTD England 2001 Availability: Items available for loan: Arts Library (1)Collection, call number: R1 P1. Place hold Save to lists Add to cart (remove)
31.	Image from Coce	Conditionals Crocco G Ed.; Carro L. Farinas Del Ed.; Herzig A. Ed. from philosophy to computer science A.Herzig by Crocco G Ed Carro L. Farinas Del Ed Herzig A. Ed Series: Studies in logic and computation 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,(B) N5. Place hold Save to lists Add to cart (remove)
32.		Ancient formal logic Bochenski I M by Bochenski I M Series: Studies in logic & the foundations of mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North Holland Pun 1951 Availability: Items available for loan: Arts Library (1)Collection, call number: R1 J12. Place hold Save to lists Add to cart (remove)
33.		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)
34.		Meaning and partiality Muskens Reinhard by Muskens Reinhard Series: Studies in logic , language and information Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Standord CSLI Pub 1995 Availability: Items available for loan: Arts Library (1)Collection, call number: P:4 N5. Place hold Save to lists Add to cart (remove)
35.		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)
36.		Constructivity in mathematatics Heyting A ed proceedings by Heyting A ed Series: Studies in logic and the foundations of mathamatics ed by L ED J Brouwer etc Material type: 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. Place hold Save to lists Add to cart (remove)
37.		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)
38.		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)
39.		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)
40.		Axiomatic set theory Bernays Paul by Bernays Paul Series: Studies in logic and the foundations 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 J82. Place hold Save to lists Add to cart (remove)
41.		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)
42.		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)
43.		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)
44.		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)
45.		Modle theory Chang C C; Keisler H J by Chang C C Keisler H J Series: Studies in logic and the foundation of mathematics edited by A Heyting; 73 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: R14 L31. Place hold Save to lists Add to cart (remove)
46.		Proceedings Gandy R O ed; Yates C M E ed logical colloquium by Gandy R O ed The Summer School and colloquim in Mathematical logic,Manchester,1969 Yates C M E ed The Summer School and colloquim in Mathematical logic,Manchester,1969 Series: Studies in logic and the foundation of mathematics; 61 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: 1971 Availability: Items available for loan: Arts Library (1)Collection, call number: R14 L1. Place hold Save to lists Add to cart (remove)
47.		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)
48.		Introduction to model theory and to the mathematics of algebra Robinson Abraham by Robinson Abraham Series: Studies in logic and the foundation mathematics ed by L EJ Brouwer etc Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Amsterdam North Holland Publishing Company 1963 Availability: Items available for loan: Arts Library (1)Collection, call number: R14 K32. Place hold Save to lists Add to cart (remove)
49.		Language with expressions of infinite length Karp Carol R by Karp Carol R Series: Studies in logic and the foundfations of mathematics ed by L E J Brouwer 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: R14 K44. Place hold Save to lists Add to cart (remove)
50.		Foundations of intuitioistic mathematics especially in rekation to recursive functions Kleene Stephen Cole; Vesley Richard Eugene by Kleene Stephen Cole Vesley Richard Eugene Series: Studies in logic and the foundation of mathematics ed by L E J Brouwer 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 K5. 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.