Showing 1 - 20 results of 34 for search '', query time: 0.14s Refine Results
  1. 1
    First-order dynamic logic /
    by Harel, David, 1950-
    Published 1979
    Connect to the full text of this electronic book
    eBook
  2. 2
    A relational theory of computing /
    by Sanderson, John G., 1929-
    Published 1980
    Connect to the full text of this electronic book
    eBook
  3. 3
    Foundations of intelligent systems : 9th international symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996 : proceedings /
    Published 1996
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  4. 4
    Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings /
    Published 2002
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  5. 5
    Mathematical logic in the 20th century /
    Published 2003
    Book
  6. 6
    Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers /
    Published 2003
    Connect to the full text of this electronic book
    Get full text
    eBook
  7. 7
    Declarative agent languages and technologies : first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers /
    Published 2004
    Connect to the full text of this electronic book
    Get full text
    Conference Proceeding eBook
  8. 8
    Logic for computer scientists /
    by Schöning, Uwe, 1955-
    Published 2008
    Connect to the full text of this electronic book
    eBook
  9. 9
    Abhandlung über die Prinzipien der Logik : mit einer Rekonstruktion der Aristotelischen Syllogistik /
    by Wolff, Michael, 1942-
    Published 2009
    Book
  10. 10
    Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
    Published 2010
    Connect to the full text of this electronic book
    eBook
  11. 11
    Mathematical logic : foundations for information science /
    by Li, Wei, 1943 June-
    Published 2010
    Connect to the full text of this electronic book
    eBook
  12. 12
    A course in mathematical logic for mathematicians /
    by Manin, I︠U︡. I.
    Published 2010
    Connect to the full text of this electronic book
    eBook
  13. 13
    Mathematical logic /
    by Tourlakis, George J.
    Published 2008
    Connect to the full text of this electronic book
    eBook
  14. 14
    Theorems, corollaries, lemmas, and methods of proof /
    by Rossi, Richard J., 1956-
    Published 2006
    Connect to the full text of this electronic book
    eBook
  15. 15
    Superior beings : if they exist, how would we know?: game-theoretic implications of omniscience, omnipotence, immortality, and incomprehensibility /
    by Brams, Steven J.
    Published 1983
    Connect to the full text of this electronic book
    eBook
  16. 16
    Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 /
    Published 1979
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  17. 17
    Cabal Seminar 81-85 : proceedings, Caltech-UCLA Logic Seminar, 1981-85 /
    Published 1988
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  18. 18
    Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985 /
    Published 1987
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  19. 19
    Relational methods in computer science /
    Published 1997
    Connect to the full text of this electronic book
    eBook
  20. 20
    The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings /
    Published 1991
    Connect to the full text of this electronic book
    eBook
Search Tools: RSS Feed – Email Search