Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Your search returned 8 results. Subscribe to this search

|
1. (Omega)-Bibliography of mathematical logic classical logic

by Muller G H [ed.] | Rautenberg Wolfgang [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: [Call number: 016.5101 M958] (1).
2. (Omega)-Bibliography of mathematical logic non-classical logic

by Muller G H [ed.] | Rautenberg Wolfgang [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: [Call number: 016.5101 M958] (1).
3. (Omega)-Bibliography of mathematical logic model theory

by Ebbinghaus Heinz-Dieter [ed.] | Muller G H [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: [Call number: 016.5101 M958] (1).
4. (Omega)-Bibliography of mathematical logic recursion theory

by Hinman P G [ed.] | Muller G H [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: [Call number: 016.5101 M958] (1).
5. (Omega)-Bibliography of mathematical logic set theory

by Blass A R [ed.] | Muller G H [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: [Call number: 016.5101 M958] (1).
6. (Omega)-Bibliography of mathematical logic proof theory : constructive mathematics

by Troelstra A S ;.ed | Dalen Dirk van [ed.] | Kister J E [ed.] | Muller G H [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: [Call number: 016.5101 M958] (1).
7. Higher set theory

by Muller G H | Scott D S [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1978Availability: Items available for loan: [Call number: 511.322 M958] (1).
8. Models and sets proceedings

by Muller G H ed | Logic Colloquium( 1983 : Aachen ) | Logic Colloquium Aachen, 1983.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: [Call number: 511.3 L832C] (1).
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in


Visitor Counter