Fundamental Scientific Library of NAS RA

Refine your search

Your search returned 35 results.

Sort
Results
Algebra, logic, and combinatorics / Edt.: Shaun Bullett, Tom Fearn, Frank Smith.

by Bullett, Shaun [edt] | Fearn, T [edt] | Smith, F.T [edt].

Series: LTCC advanced mathematics series ; vol. 3Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Jersey : World Scientific, 2016Availability: Items available for loan: 1 Call number: И II/115782.

Elements of mathematical logic : (Model theory) / G. Kreisel, J. L. Krivine.

by Kreisel, Georg | Krivine, Jean Louis.

Series: Studies in logic and the foundations of mathematicsMaterial type: Text Text; Literary form: Not fiction Language: English Publication details: Amsterdam : North-Holland Publ. Co., 1971Availability: Items available for loan: 1 Call number: Gulb/2685.

Elements of mathematical logic / Jan Łukasiewicz ; Translated from Polish by Olgierd Wojtasiewicz.

by Łukasiewicz, Jan.

Series: International series of monographs in pure and applied mathematics ; v. 31.Edition: [2nd ed.].Material type: Text Text; Literary form: Not fiction Language: engpol Publication details: New York ; Macmillan, [1964, c1963]Availability: Items available for loan: 1 Call number: Gulb/660.

Les fondements de la logique symbolique : Justification des calculs logiques / Par Thomas Greenwood.

by Greenwood, Thomas.

Series: Actualités scientifiques et industrielles ; 593 | Logique et méthodologie ; IIMaterial type: Text Text; Literary form: Not fiction Language: French Publication details: Paris : Hermann & Cie, Éditeurs, 1938Availability: Items available for loan: 1 Call number: ПИ 906/593.

Gramatyka i matematyka / Zdzisław Pawlak.

by Pawlak, Zdzisław.

Edition: [Wyd. 1.]Material type: Text Text; Literary form: Not fiction Language: Polish Publication details: Warszawa : Panstwowe Zaklady Wydawnictw Szkolnych, [1965]Availability: Items available for loan: 1 Call number: Djauk/3880.

Handbook of mathematical logic / Ed. by Jon Barwise; With the cooperation of H. J. Keisler ... et al.

by Barwise, Jon [edt] | Keisler, H. Jerome [edt].

Series: Studies in logic and the foundations of mathematics ; Vol. 90Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam ; New York : North-Holland Publ. Co., 1977Availability: Items available for loan: 1 Call number: Gulb/5319.

Journal of logic and computation

Material type: Continuing resource Continuing resource; Type of continuing resource: periodical Language: English Publication details: Oxford : Oxford University Press, 1990-Online access: Click here to access online | Click here to access online Availability: Items available for loan: 4 Call number: ИЖ 3774, ...

Lectures on non-standard analysis / Moshe Machover, Joram Hirschfeld.

by Machover, Moshe | Hirschfeld, Joram.

Series: Lecture notes in mathematics (Springer-Verlag) ; 94.Material type: Text Text; Literary form: Not fiction Language: English Publication details: Berlin ; Heidelberg ; New York : Springer-Verlag, 1969Availability: Items available for loan: 1 Call number: Gulb/3079.

Les limites des notion d'objet et d'objectivité / Par Jean Mariani.

by Mariani, Jean.

Series: Actualités scientifiques et industrielles ; 519 | Exposés de philosophie des science ; VIIMaterial type: Text Text; Literary form: Not fiction Language: French Publication details: Paris : Hermann & Cie, Éditeurs, 1937Availability: Items available for loan: 1 Call number: ПИ 906/519.

Logic and structure / Dirk van Dalen.

by Dalen, Dirk van, 1932-.

Series: UniversitextEdition: 2nd ed., corrected 2nd print.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1983Availability: Items available for loan: 1 Call number: Gulb/5865.

Logic and structure / Dirk van Dalen.

by Dalen, Dirk van, 1932-.

Series: UniversitextMaterial type: Text Text; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1980Availability: Items available for loan: 1 Call number: Gulb/5018.

Logic Colloquium '69 : Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969 / Ed. by R.O. Gand, C.M.E. Yates.

by Summer School and Colloquium in Mathematical Logic (1969 : Manchester) | Gandy, Robin Oliver [edt] | Yates, Charles Edmund Michael [edt].

Series: Studies in logic and the foundations of mathematics ; Vol. 61Material type: Text Text; Literary form: Not fiction Language: English Publication details: Amsterdam : North-Holland, 1971Availability: Items available for loan: 2 Call number: Gulb/2940, ...

Logic Colloquium '82 : Proceedings of the colloquium held in Florence, 23-28 August, 1982 / Ed. by G. Lolli, G. Longo and A. Marcja.

by Logic Colloquium '82 (Florence) | Lolli, Gabriele, 1942- [edt] | Longo, Giuseppe, 1929- [edt] | Marcja, Annalisa [edt].

Series: Studies in logic and the foundations of mathematics ; Vol. 112Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam ; Oxford : North-Holland, 1984Availability: Items available for loan: 1 Call number: Gulb/5988.

Logic Colloquium '84 : Proceedings of the colloquium held in Manchester, U.K., July 1984 / Editors : J.B. Paris, A.J. Wilkie, G.M. Wilmers.

by Logic Colloquium (1984 : Manchester, England) | Paris, Jeff B | Wilkie, Alec J | Wilmers, G. M | Association for Symbolic Logic.

Series: Studies in logic and the foundations of mathematics ; Vol. 120Material type: Text Text; Format: print ; Literary form: Not fiction Language: English, French Publication details: Amsterdam ; Oxford : North-Holland, 1986Availability: Items available for loan: 1 Call number: Gulb/5989.

Logic programming, functions, relations, and equations / [Ed. by] Doug DeGroot, Gary Lindstrom.

by DeGroot, Doug [edt] | Lindstrom, Gary [edt].

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Englewood Cliffs, N.J. : Prentice-Hall, 1986Availability: Items available for loan: 1 Call number: Gulb/6577.

Logic Symposia : Hakone, 1979, 1980 : Proceedings of Conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / Ed. by G.H. Muller, G. Takeuti, and T. Tugue.

by Logic Symposia (1979 : Hakone-machi, Japan) | Muller, Gert Heinz, 1923- [edt] | Takeuti, Gaisi, 1926- [edt] | Tugue, Tosiyuki, 1926- [edt] | Logic Symposia (1980 : Hakone-machi, Japan).

Series: Lecture notes in mathematics (Springer-Verlag) ; 891.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1981Availability: Items available for loan: 2 Call number: Gulb/5625, ...

Logic, methodology and philosophy of science : Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 / Ed. by Patrick Suppes, Leon Henkin, Athanase Joja, Gr. C. Moisil.

by International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania) | Suppes, Patrick, 1922- [edt.] | Henkin, Leon [edt] | Joja, Athanase [edt] | Moisil, Gr. C [edt] | International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science | Academia Republicii Socialiste Romania.

Series: Studies in Logic and the Foundations of Mathematics ; Vol. 74Material type: Text Text; Format: print ; Literary form: Not fiction Language: English, French, German, Russian Publication details: Amsterdam : New York : North-Holland Publ. Co.; American Elsevier Publ. Co., 1973Availability: Items available for loan: 1 Call number: Gulb/5211.

Logic, methodology, and philosophy of science VI : Proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 / Ed. by L. Jonathan Cohen ... et al.

by International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) | Cohen, Laurence Jonathan [edt].

Series: Studies in logic and the foundations of mathematics ; Vol. 104Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam ; New York : Warszawa : New York : North-Holland Publ. Co. ; PWN--Polish Scientific Publishers ; sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1982Availability: Items available for loan: 1 Call number: Gulb/5276.

The logical problem of induction / by Georg Henrik von Wright.

by Wright, Georg Henrik von, 1916-.

Edition: 2nd rev. ed.Material type: Text Text; Literary form: Not fiction Language: English Publication details: Oxford : Basil Blackwell, 1965Availability: Items available for loan: 1 Call number: Gulb/2088.

Mathematical logic / J. Donald Monk.

by Monk, James Donald, 1930-.

Series: Graduate Texts in Mathematics ; 37Material type: Text Text; Literary form: Not fiction Language: English Publication details: New York : Springer-Verlag, 1976Availability: Items available for loan: 1 Call number: Gulb/4185.

Pages


ՀՀ ԳԱԱ հիմնարար գիտական գրադարան
ՀՀ,Երևան 0019
Մարշալ Բաղրամյան 24/6
հեռախոս:(374-10) 52-47-50
Հետադարձ կապ

All site content, except where otherwise noted, is licensed under a
Creative Commons License