Delhi University Library System Search for 'se,phr:"Studies in logic."'

Algebraic approach to non-classical logics.

By Rasiowa Helena.
New York North-Holland Publishing 1974 .
xv,403p. cm..

]]> Place hold on Algebraic approach to non-classical logics.

Ancient formal logic

By Bochenski I M.
Amsterdam North Holland Pun 1951

]]> Place hold on Ancient formal logic

Ancient formal logic.

By Bochenski I.M..
1951

]]> Place hold on Ancient formal logic.

Axiom of choice

By Jech Thomas J.
Amsterdam North Holland 1973 .
xi, 202p , Appendix (183-185p) (I-4) cm..

]]> Place hold on Axiom of choice

Axiomatic set theory

By Bernays Paul.
1958

]]> Place hold on Axiomatic set theory

Combinatory logic

By Curry Haskell B.
Amsterdam North Holland The Netherlands 1972 .
520p. cm..

]]> Place hold on Combinatory logic

Combinatory logic

By Curry Haskell B.
1958

]]> Place hold on Combinatory logic

Combinatory logic.

By Curry Haskell B.
London North Holland Publishing 1972 .
xiv,520p. cm..

]]> Place hold on Combinatory logic.

Conditionals from philosophy to computer science

By Crocco G. Ed..
Oxford,UK: Clarendon press, 1995 .
viii, 368p cm..

]]> Place hold on Conditionals

Conditionals from philosophy to computer science A.Herzig

]]> By Crocco G Ed..
Oxford,UK: Clarendon Press, 1995 .
viii,368p. cm..
0198538618 (hbk)

]]> Place hold on Conditionals

Constructivity in mathematatics proceedings

By Heyting A ed.
1957

]]> Place hold on Constructivity in mathematatics

Contributions to non standrd analysis.

By Luxemburg W A J Ed..
London North Holland Publishing 1972 .
vi,289p. cm..

]]> Place hold on Contributions to non standrd analysis.

Descriptive set theory

By Moschovakis Yannis N.
New York North Holland 1980 .
xii, 637p. cm..

]]> Place hold on Descriptive set theory

Dictionary of symbols of mathematical logic.

By Feys R.
1969

]]> Place hold on Dictionary of symbols of mathematical logic.

Dictionary of symbols of mathematical logic.

By Feys Robert Ed..
Amsterdam North Holland Publishing 1969 .
xiv,171p. cm..

]]> Place hold on Dictionary of symbols of mathematical logic.

Elementary induction on abstract structures

By Moschovakis Yiannis N.
New York North Holland 1974 .
x, 218p. cm..

]]> Place hold on Elementary induction on abstract structures

Elements of mathematical logic Model theory

By Kreisel G.
1967

]]> Place hold on Elements of mathematical logic

Essay in modal logic

By Wright Georg H Von.
1951

]]> Place hold on Essay in modal logic

Essay in modal logic

By Von Wright Georg H.
1951

]]> Place hold on Essay in modal logic

Essay in model logic.

By Wright Georg H.Von.
1951

]]> Place hold on Essay in model logic.

Essay in model logic.

By Wright Georg H.Von.
1951

]]> Place hold on Essay in model logic.

Formal systems and recursive functions.

By Crossley J N.
Amsterdam North-Holland Publishing 1965 .
320p. cm..

]]> Place hold on Formal systems and recursive functions.

Foundations of intuitioistic mathematics especially in rekation to recursive functions

By Kleene Stephen Cole.
1965

]]> Place hold on Foundations of intuitioistic mathematics especially in rekation to recursive functions

Foundations of mathematics a study in the philosophy of science

By Beth Evert W.
1959

]]> Place hold on Foundations of mathematics

Foundations of mathematics a study in the philosophy of science

By Beth Evert W.
1959

]]> Place hold on Foundations of mathematics

Fundamentals of generalized recursion theory

By Fitting Melvin.
Amsterdam North-Holland 1981 .
xx, 307p. , Bibliography 297-302p; Appendix 294-96p cm..

]]> Place hold on Fundamentals of generalized recursion theory

Fundamentals of generalized recursion theory.

By Fitting Melvin.
Oxford North Holland Publishing 1981 .
xx,307p. cm..

]]> Place hold on Fundamentals of generalized recursion theory.

Hand book of Mathematical logic

By Barwise Jon Ed..
Amsterdam North-Holland 1977 .
xi, 1165p. cm..

]]> Place hold on Hand book of Mathematical logic

Handbook of mathematical logic.

By Barwise Jon Ed..
Oxford North Holland 1977 .
xi,1165p. cm..

]]> Place hold on Handbook of mathematical logic.

Handbook of the logic of argument and inference

]]> By Gabbay Dov M and others Ed..
Amsterdam North Holland 2002 .
498p. cm..
0444506500

]]> Place hold on Handbook of the logic of argument and inference

Hypothetical reasoning

By Rescher Nicholas.
1964

]]> Place hold on Hypothetical reasoning

Intensional logics for programming

By Farinas Del Cerro L Ed..
Oxford Clarendon Press 1992 .
219p. cm..

]]> Place hold on Intensional logics for programming

Intensional mathematics.

By Shapiro Stewart Ed..
Oxford North Holland 1985 .
v230p. cm..

]]> Place hold on Intensional mathematics.

Introduction to model theory and to the mathematics of algebra

By Robinson Abraham.
Amsterdam North Holland Publishing Company 1963

]]> Place hold on Introduction to model theory and to the mathematics of algebra

Intuitionism An introduction.

By HEYTING A.
Amsterdam North-Holland publishing co. 1956 .
viii,133p. , BIbliography :P.123-128; Glossary :133p. cm..

]]> Place hold on Intuitionism

Intuitionism : an introduction.

By Heyting A..
Amsterdam North-Holland publishing co. 1956 .
viii,133 p. , BIbliography :P.123-128; Glossary :133p. cm..

]]> Place hold on Intuitionism : an introduction.

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

By Kino A Ed..
London North Holland Publishing 1970 .
viii,516p. cm..

]]> Place hold on Intuitionism and proof theory

Kleene symposium

By Barwise Jon Ed..
Amsterdam North Holland 1980 .
xx, 426p. cm..

]]> Place hold on Kleene symposium

Lambda calculus: its syntax and semantics

By Barendregt H P.
Amsterdam North Holland 1984 .
xv,621p. , Includes bibliography cm..

]]> Place hold on Lambda calculus: its syntax and semantics

Language with expressions of infinite length

By Karp Carol R.
1964

]]> Place hold on Language with expressions of infinite length

Large infinitary languages

By Dickmann M A.
Amsterdam North-Holland 1975 .
xv, 464p. cm..

]]> Place hold on Large infinitary languages

Lincos design of a language for cosmic intertcourse

By Freudenehal Hans.
1960

]]> Place hold on Lincos

Logic Colloquium '73

By Rose H. E. Ed..
Amsterdam North Holland 1975 .
viii, 513p. cm..

]]> Place hold on Logic Colloquium '73

Logic in Algebraic form: Three languages and theories

By Graig William.
Amsterdam North Holland Pub. 1974 .
viii, 204p. cm..

]]> Place hold on Logic in Algebraic form: Three languages and theories

Meaning and partiality

By Muskens Reinhard.
Standord CSLI Pub 1995 .
x,138p. cm..

]]> Place hold on Meaning and partiality

Modle theory

By Chang C C.
1973

]]> Place hold on Modle theory

Nomological statements and admissible operations.

By Reichenbach Hans.
1954

]]> Place hold on Nomological statements and admissible operations.

Outlines of a formalist philosophy of mathematics.

By Curry Haskell B.
London North Hooland Publihing 1951 .
vii,75p. cm..

]]> Place hold on Outlines of a formalist philosophy of mathematics.

Problem of inductive logic Proceedings of the international colloquium in the philosophy of science, london, 1965, volume 2

By Lakatos Imre Ed..
Amsterdam North-Holland 1968 .
viii,417p. cm..

]]> Place hold on Problem of inductive logic

Problem of inductive logic Proceedings of the international colloquium in the philosophy of science, london, 1965, volume 2

By Lakatos Imre Ed..
Amsterdam North-Holland 1968 .
viii,417p. cm..

]]> Place hold on Problem of inductive logic