Search

Your search returned 35 results.

Results
		Modal logics / Edited with some complements by Joseph Dopp. by Feys, Robert, 1889- \| Dopp, Joseph [edt]. Series: Collection de logique math ematique ; Ser. B, 4Material type: Text; Literary form: Not fiction Language: English Publication details: Louvain : E. Nauwelaerts, 1965Availability: Items available for loan: 1 Call number: Gulb/551. Place hold Add to cart (remove)
		Philosophy and logical syntax / By Rudolf Carnap. by Carnap, Rudolf, 1891-1970. Series: Psyche miniatures : General series ; No. 70Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : AMS Press, 1979Availability: Items available for loan: 1 Call number: Gulb/5239. Place hold Add to cart (remove)
		Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic / Ed. by M.H. Löb. by Summer School in Logic (1967 : Leeds, Eng.) \| Löb, M. H [edt.] \| NATO Advanced Study Institute \| Association for Symbolic Logic. Series: Lecture notes in mathematics (Springer-Verlag) ; 70.Material type: Text; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1968Availability: Items available for loan: 1 Call number: Gulb/3081. Place hold Add to cart (remove)
		Reasoning with incomplete information / David W. Etherington. by Etherington, David W. Series: Research notes in artificial intelligenceMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London : Los Altos : Pitman ; Morgan Kaufmann, 1988Availability: Items available for loan: 1 Call number: Gulb/6808. Place hold Add to cart (remove)
		Reports on mathematical logic by Jagiellonian University of Cracow. Material type: Continuing resource; Type of continuing resource: periodical Language: English Publication details: Kraków : Jagiellonian University Press. Online access: Click here to access online Availability: Items available for loan: 7 Call number: ИЖ 1957, ... Place hold Add to cart (remove)
		Studies in weak arithmetics / Ed. by Patrick Cegielski. by Cegielski, Patrick, 1954- [edt]. Series: CSLI lecture notes ; No. 196Material type: Text; Literary form: Not fiction Language: English Publication details: Stanford, Calif. : CSLI Publications, 2010Availability: Items available for loan: 1 Call number: И II/114328. Place hold Add to cart (remove)
		Symbolic logic : An introduction / Richmond H. Thomason. by Thomason, Richmond H. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : London : Macmillan Publ. Co. ; Collier Macmillan Publishers, [1969]Availability: Items available for loan: 1 Call number: Gulb/5194. Place hold Add to cart (remove)
		Symbolic logic : An introduction / Richmond H. Thomason. by Thomason, Richmond H. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London : Macmillan, 1970Availability: Items available for loan: 1 Call number: Gulb/5764. Place hold Add to cart (remove)
		Temporal logic of programs / Fred Kroger. by Kroger, Fred, 1945-. Series: EATCS monographs on theoretical computer science ; Vol. 8Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1987Availability: Items available for loan: 1 Call number: Gulb/7160. Place hold Add to cart (remove)
		Term logic with choice operator / Hans Hermes. by Hermes, Hans. Series: Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann ; 6Edition: 1st English ed.Material type: Text; Literary form: Not fiction Language: English Original language: German Publication details: Berlin ; New York : Springer-Verlag, 1970Availability: Items available for loan: 1 Call number: Gulb/3082. Place hold Add to cart (remove)
		Théorie générale des structures / Par Valère Glivenko. by Glivenko, Valère. Series: Actualités scientifiques et industrielles ; 652 \| Exposés d'analyse générale ; IXMaterial type: Text; Format: print ; Literary form: Not fiction Language: French Publication details: Paris : Hermann & Cie, Éditeurs, 1938Availability: Items available for loan: 1 Call number: ПИ 906/652. Place hold Add to cart (remove)
		A theory of heuristic information in game-tree search / by Chun-Hung Tzeng. by Tzeng, Chun-Hung. Series: Symbolic computation. Artificial intelligenceMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1988Availability: Items available for loan: 1 Call number: Gulb/7200. Place hold Add to cart (remove)
		Wittgenstein's Tractatus : A critical exposition of its main lines of thought / By Erik Stenius. by Stenius, Erik. Material type: Text; Literary form: Not fiction Language: English Publication details: Ithaca, N.Y., : Cornell University Press, 1960Availability: Items available for loan: 1 Call number: Terz/ 2659. Place hold Add to cart (remove)
		Word and object / Willard Van Orman Quine. by Quine, Willard Van Orman. Material type: Text; Literary form: Not fiction Language: English Publication details: Cambridge : The M.I.T. Press, [1960]Availability: Items available for loan: 1 Call number: Djauk/3929. Place hold Add to cart (remove)
		Ω-Bibliography of mathematical logik / Ed. by Gert H. Muller ; In collab. with Wolfgang Lenski. by Muller, Gert H [edt] \| Lenski, Wolfgang [clb]. Series: Perspectives in mathematical logicMaterial type: Text; Literary form: Not fiction Language: English Publication details: Berlin : Springer-Verlag, 1987Other title: [Omega]-bibliography of mathematical logik.Availability: Items available for loan: 6 Call number: Gulb/ 6910, ... Place hold Add to cart (remove)

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

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