Normal view MARC view ISBD view

Encyclopaedia of applied English- 4 Vol. set

By:

Parashar Nandini

Material type:

TextLanguage: English Publication details: Jaipur Mark 2016Description: 250,250,247p. cmSubject(s):

English

DDC classification:

P111k, Q6.1-4 RR

Item type:

Reference

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Cover image	Item type	Current library	Home library	Collection	Shelving location	Call number	Materials specified	Vol info	URL	Copy number	Status	Notes	Date due	Barcode	Item holds	Item hold queue priority	Course reserves
	Reference	South Campus Library	South Campus Library			P111k Q6.1-4 RR (Browse shelf(Opens below))					Not for loan			SC1620359

There are no comments on this title.

to post a comment.

Back to results

1 Algebraic approach to non-classical logics.
by Rasiowa Helena
2 Axiom of choice
by Jech Thomas J
3 Combinatory logic
by Curry Haskell B
4 Combinatory logic
by Curry Haskell B
5 Combinatory logic.
by Curry Haskell B
6 Dictionary of symbols of mathematical logic.
by Feys R
7 Dictionary of symbols of mathematical logic.
by Feys Robert Ed.
8 Elements of mathematical logic
by Kreisel G
9 Essay in modal logic
by Wright Georg H Von
10 Essay in modal logic
by Von Wright Georg H
11 Essay in model logic.
by Wright Georg H.Von
12 Essay in model logic.
by Wright Georg H.Von
13 Formal systems and recursive functions.
by Crossley J N
14 Foundations of mathematics
by Beth Evert W
15 Foundations of mathematics
by Beth Evert W
16 Fundamentals of generalized recursion theory.
by Fitting Melvin
17 Hypothetical reasoning
by Rescher Nicholas
18 Intensional mathematics.
by Shapiro Stewart Ed.
19 Intuitionism
by HEYTING A
20 Intuitionism : an introduction.
by Heyting A.
21 Intuitionism and proof theory
by Kino A Ed.
22 Kleene symposium
by Barwise Jon Ed.
23 Lambda calculus: its syntax and semantics
by Barendregt H P
24 Large infinitary languages
by Dickmann M A
25 Lincos
by Freudenehal Hans
26 Logic Colloquium '73
by Rose H. E. Ed.
27 Logic in Algebraic form: Three languages and theories
by Graig William
28 Nomological statements and admissible operations.
by Reichenbach Hans
29 Outlines of a formalist philosophy of mathematics.
by Curry Haskell B
30 Problem of inductive logic
by Lakatos Imre Ed.
31 Problem of inductive logic
by Lakatos Imre Ed.
32 Problems in the philosophy of mathematics.
by Lakatos Imre Ed.
33 Problems in the philosophy of science
by Lakatos Imre Ed.
34 Problems in the philosophy of science
by Lakatos Imre Ed.
35 Problems of inductive logic.
by Lakatos Imre Ed.
36 Problems of inductive logic.
by Lakatos Imre Ed.
37 Proceeding of the herbrand symposium.
by Stern J Ed.
38 Proceeding on generalized recursion theory
by Fenstad J E Ed.
39 Proceedings
40 Survey of mathematical logic
by Wang Hao
41 Theory of relations
by Fraisse R
42 Toward a systematic pragmatics
by Martin R M
43 Truth and consequence in mediaeval logic.
by Moody Ernest A.
44 Truth and consequence in Medieval logic
by Moody Ernest A
45 Undecidable theories
by Tarski Alfred
46 Undecidable theories
by Tarski Alfred
47 Undecidable theories
by Tarski Alfred