Your search returned 44 results. Subscribe to this search

|
1. Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering : AMINSE 2017, Tbilisi, Georgia, December 6-9 / edited by George Jaiani, David Natroshvili.

by Jaiani, George [რედაქტორი] | Natroshvili, David [რედაქტორი].

Material type: book Book; Format: print available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, ©2019.Online access: ZZ Volltext | Click here to access online Availability: No items available Lost (1).
Log in to add tags. Add to cart
2. A concise introduction to logic / Patrick J. Hurley, University of San Diego, Lori Watson, University of San Diego.

by Hurley, Patrick J, 1942- | Watson, Lori.

Edition: Thirteenth edition.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston, MA : Cengage Learning, [2018].Other title: Logic.Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 16] (1).
3. Introduction to logic / Irving M. Copi, Carl Cohen, Kenneth McMahon.

by Copi, Irving M | Cohen, Carl, 1931- | McMahon, K. D. (Kenneth D.).

Edition: Fourteenth edition, Pearson new international editionMaterial type: book Book; Format: print ; Literary form: Not fiction Publisher: London : Routledge, 2016. ©2014Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 16] (1).
4. Introduction to mathematical logic / Elliott Mendelson.

by Mendelson, Elliott.

Edition: 6th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton, Fla. [u.a.] : CRC Press, 2015.Online access: Zentralblatt MATH Inhaltstext Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 510.6 M-55] (1).
5. Foundations of fuzzy logic and Semantic Web languages / Umberto Straccia. [ebook]

by Straccia, Umberto.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton, Fla. ; London : Chapman & Hall/CRC, [2014]Online access: Open Access Availability: No items available
6. Summulae de dialectica [electronic resource] /John Buridan ; an annotated translation, with a philosophical introduction, by Gyula Klima.

by Buridan, Jean, 1300-1358 | Klima, Gyula.

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: New Haven : Yale University Press, c2001Online access: EBSCOhost Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 16”653”] (1).
7. On the purity of the art of logic [electronic resource] :the shorter and the longer treatises / Walter Burley ; translated by Paul Vincent Spade.

by Burlaeus, Gualterus, 1275-1345? | Spade, Paul Vincent | Burlaeus, Gualterus, 1275-1345?. De puritate artis logicae tractatus longior.

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: New Haven : Yale University Press, c2000Online access: EBSCOhost Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 16”04/14”] (1).
8. Between logic and intuition : essays in honor of Charles Parsons / edited by Gila Sher, Richard Tieszen.

by Sher, Gila [რედაქტორი] | Tieszen, Richard L [რედაქტორი].

Material type: book Book; Format: print available online remote festschrift Publisher: Cambridge : Cambridge University Press, 2000.Other title: Between Logic & Intuition.Online access: Click here to access online Availability: No items available
9. Computer science logic : 12th international workshop, CSL '98 : annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)

by Gottlob, G. (Georg) [რედაქტორი] | Grandjean, Etienne [რედაქტორი] | Seyr, Katrin [რედაქტორი].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 1999Online access: Publisher description Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 681.3 C-65] (1).
10. First-order logic and automated theorem proving / Melvin Fitting.

by Fitting, Melvin, 1942-.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, c1996Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 517 F-48] (1).
11. Logic / Robert Baum.

by Baum, Robert, 1941-.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Fort Worth : Harcourt Brace College Publishers, c1996Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 16] (1).
12. First-order logic and automated theorem proving / Melvin Fitting.

by Fitting, Melvin, 1942-.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, c1996Availability: No items available Lost (1).
13. The genealogy of disjunction / R. E. Jennings.

by Jennings, R. E. (Raymond Earl).

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Oxford University Press, 1994Online access: Publisher description Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 [Call number: 160.1] (1).
14. The semantic foundations of logic : Vol. 1. Predicate logic / Richard L. Epstein.

by Epstein, Richard L, 1947-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Oxford University Press, 1994Online access: Publisher description | Table of contents only Availability: No items available Lost (1).
15. Metalogicon : 1991 : rivista internazionale di logica pura e applicata di linguistica e di filosofia.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Napoli : L.E.R., [1988]-Availability: No items available Lost (1).
16. Current issues and enduring questions : methods and models of argument / edited by Sylvan Barnet, Hugo Bedau.

by Barnet, Sylvan [რედაქტორი] | Bedau, Hugo Adam [რედაქტორი].

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston : Bedford Books of St. Martin's Press, c1990Availability: No items available Lost (1).
17. Probleme de logică : 1986 / Academia Republicii Socialiste România, Centrul de Logică.

by Academia Republicii Socialiste România. Centrul de Logică | Institutul de Filozofie (Academia de Științe Sociale și Politice a Republicii Socialiste România) | Academia de Științe Sociale și Politice a Republicii Socialiste România. Centrul de Logică.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: București : Editura Academiei Republicii Socialiste România, 1956-Availability: No items available Lost (1).
18. Knowing who / Steven E. Boër and William G. Lycan.

by Boër, Steven E | Lycan, William G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Mass. : MIT Press, c1986Availability: No items available Lost (1).
19. Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas.

by Ebbinghaus, Heinz-Dieter, 1939- | Flum, Jörg | Thomas, Wolfgang, 1947-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer-Verlag, c1984Availability: No items available Lost (1).
20. The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse / J.F.A.K. van Benthem.

by Benthem, Johan van, 1949-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht, Holland ; Boston : Hingham, MA : D. Reidel Pub. Co. ; Distributed in the U.S.A. and Canada by Kluwer Boston, c1983Availability: No items available Lost (1).
Not finding what you're looking for?
Make a purchase suggestion

ეროვნული სამეცნიერო ბიბლიოთეკა 2010 - 2019

გაუგზავნე შეკითხვა ან მოთხოვნა ბიბლიოთეკას