National Science Library of Georgia

Refine your search

Your search returned 214 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Logicism renewed : logical foundations for mathematics and computer science / Paul C. Gilmore. by Series: Lecture notes in logic ; 23.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Intensionality / edited by Reinhard Kähle. by Series: Lecture notes in logic ; 22.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Inexhaustibility : a non-exhaustive treatment / Torkel Franzén. by Series: Lecture notes in logic ; 16.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Admissible sets and structures : an approach to definability theory / Jon Barwise. by Series: Perspectives in logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Degrees of unsolvability : local and global theory / Manuel Lerman. by Series: Perspectives in logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
A general algebraic semantics for sentential logics / Josep Maria Font, Ramon Jansana. by Series: Lecture notes in logic ; 7.
Edition: Second edition.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Temporal logics in computer science : finite-state systems / Stéphane Demri, Valentin Goranko, Martin Lange. by Series: Cambridge tracts in theoretical computer science ; 58.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Robust design of digital circuits on foil / Kris Myny, Jan Genoe, Wim Dehaene. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Lectures on infinitary model theory / David Marker. by Series: Lecture notes in logic ; 46.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Classical groups, derangements, and primes / Timothy C. Burness, University of Bristol, Michael Giudici, University of Western Australia, Perth. by Series: Australian Mathematical Society lecture series ; 25.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Other title:
  • Classical Groups, Derangements & Primes
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Logic and algebraic structures in quantum computing / edited by Jennifer Chubb, Ali Eskandarian, Valentina Harizanov. by Series: Lecture notes in logic ; no. 45.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Other title:
  • Logic & Algebraic Structures in Quantum Computing
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Advances in Proof-Theoretic Semantics [electronic resource] / edited by Thomas Piecha, Peter Schroeder-Heister. by Series: Trends in Logic, Studia Logica Library ; 43
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer eBooks
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Logik : Wiener Logikkolleg 1894/95 / Kazimierz Twardowski; Arianna Betti, Venanzio Raspa. by Series: Phenomenology & Mind ; 17
Material type: Text Text; Format: available online remote; Audience: Specialized;
Language: German Publisher: Berlin ; Boston : De Gruyter, [2016]Copyright date: ©2016Title is part of eBook package: EBOOK PACKAGE COMPLETE 2016Title is part of eBook package: EBOOK PACKAGE Philosophy 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Terrorismus und moderne Kriegsführung : Politische Gewaltstrategien in Zeiten des »War on Terror« / Eva-Maria Heinke. by Series: Sozialtheorie
Material type: Text Text; Format: available online remote; Audience: Specialized;
Language: German Publisher: Bielefeld : transcript-Verlag, [2016]Copyright date: ©2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Introduction to mathematical logic / Elliott Mendelson. by Series: Textbooks in mathematics | A Chapman & Hall book
Edition: 6th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Publisher: Boca Raton, Fla. [u.a.] : CRC Press, 2015
Online resources:
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 510.6 M-55.
Place hold Log in to add tags Add to cart
Proofs and refutations : the logic of mathematical discovery / Imre Lakatos ; edited by John Worrall and Elie Zahar. by Series: Cambridge philosophy classics
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2015
Other title:
  • Proofs & Refutations
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Pure inductive logic / Jeffrey Paris, University of Manchester, Alena Vencovská, University of Manchester. by Series: Perspectives in logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2015
Online resources:
Availability: No items available.
Log in to add tags Add to cart
A guide to NIP theories / Pierre Simon, CNRS, Université Lyon I. by Series: Lecture notes in logic ; 44.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2015
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.