ԳԱԱ Ինստիտուտների համահավաք գրացուցակ = Union Catalogue of NAS RA Institutions

Refine your search

Your search returned 4 results.

Sort
Results
1.
Proceedings of the Logic Colloquium held in Aachen, July 18 - 23, 1983. Pt. II. Computation and Proof Theory. Richter M. a.o., editors by
  • Richter M. a.o
  • editors
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1984
Availability: No items available.

2.
Proceedings of the Logic Colloquium held in Aachen, July 18 - 23, 1983. Pt. II. Computation and Proof Theory. Richter M. a.o., editors by
  • Richter M. a.o
  • editors
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1984
Availability: Items available for loan: Institute of Mathematics (1)Call number: MF .

3.
Proceedings of the Logic Colloquium held in Aachen, July 18 - 23, 1983. Pt. I. Models and Sets. Richter M. a.o., editors by
  • Richter M. a.o
  • editors
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1984
Availability: No items available.

4.
Proceedings of the Logic Colloquium held in Aachen, July 18 - 23, 1983. Pt. I. Models and Sets. Richter M. a.o., editors by
  • Richter M. a.o
  • editors
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1984
Availability: Items available for loan: Institute of Mathematics (1)Call number: MF .

Pages

ԳԱԱ Ինստիտուտների համահավաք գրացուցակ
ՀՀ,Երևան 0019
Մարշալ Բաղրամյան 24

Հետադարձ կապ