Image from Google Jackets
Image from OpenLibrary
Real function algebras Kulkarni S H; Limaye B V
By: Contributor(s): Material type:
- B25N63, N2
Item type | Current library | Home library | Call number | Status | Barcode | |
---|---|---|---|---|---|---|
![]() |
Central Science Library | Central Science Library | B25N63 N2 (Browse shelf(Opens below)) | Available | SL1025574 |
There are no comments on this title.
Log in to your account to post a comment.
-
1
Kleene symposium
by Barwise Jon Ed. -
2
Lambda calculus: its syntax and semantics
by Barendregt H P -
3
Large infinitary languages
by Dickmann M A -
4
Theory of relations
by Fraisse R -
5
Logic Colloquium '73
by Rose H. E. Ed. -
6
Proceeding on generalized recursion theory
by Fenstad J E Ed. -
7
Logic in Algebraic form: Three languages and theories
by Graig William -
8
Truth and consequence in Medieval logic
by Moody Ernest A -
9
Proceedings
-
10
Undercidable theories
by Tarski Alfred -
11
Undecidable theories
by Tarski Alfred -
12
Combinatory logic
by Curry Haskell B -
13
Foundations of mathematics
by Beth Evert W -
14
Foundations of mathematics
by Beth Evert W -
15
Toward a systematic pragmatics
by Martin R M -
16
Lincos
by Freudenehal Hans -
17
Survey of mathematical logic
by Wang Hao -
18
Elements of mathematical logic
by Kreisel G -
19
Combinatory logic
by Curry Haskell B -
20
Axiom of choice
by Jech Thomas J -
21
Hypothetical reasoning
by Rescher Nicholas -
22
Essay in modal logic
by Von Wright Georg H -
23
Essay in modal logic
by Wright Georg H Von -
24
Undecidable theories
by Tarski Alfred -
25
Problems in the philosophy of science
by Lakatos Imre Ed. -
26
Problem of inductive logic
by Lakatos Imre Ed. -
27
Intuitionism
by HEYTING A -
28
Undecidable theories
by Tarski Alfred -
29
Problems in the philosophy of science
by Lakatos Imre Ed. -
30
Problem of inductive logic
by Lakatos Imre Ed. -
31
Intuitionism
by HEYTING A -
32
Formal systems and recursive functions.
by Crossley J N -
33
Intensional mathematics.
by Shapiro Stewart Ed. -
34
Outlines of a formalist philosophy of mathematics.
by Curry Haskell B -
35
Problems of inductive logic.
by Lakatos Imre Ed. -
36
Problems of inductive logic.
by Lakatos Imre Ed. -
37
Intuitionism and proof theory
by Kino A Ed. -
38
Proceeding of the herbrand symposium.
by Stern J Ed. -
39
Dictionary of symbols of mathematical logic.
by Feys Robert Ed. -
40
Combinatory logic.
by Curry Haskell B -
41
Problems in the philosophy of mathematics.
by Lakatos Imre Ed. -
42
Algebraic approach to non-classical logics.
by Rasiowa Helena -
43
Fundamentals of generalized recursion theory.
by Fitting Melvin -
44
Dictionary of symbols of mathematical logic.
by Feys R -
45
Nomological statements and admissible operations.
by Reichenbach Hans -
46
Truth and consequence in mediaeval logic.
by Moody Ernest A.
Real function algebras
APA
Kulkarni S H, Limaye B V, . (1992). Real function algebras. New York: Marcel Dekker.
Chicago
Kulkarni S H, Limaye B V, . 1992. Real function algebras. New York: Marcel Dekker.
Harvard
Kulkarni S H, Limaye B V, . (1992). Real function algebras. New York: Marcel Dekker.
MLA
Kulkarni S H, Limaye B V, . Real function algebras. New York: Marcel Dekker. 1992.