Resultados da busca - "Propositional calculus"
-
1
-
2
-
3
-
4
Classical propositional operators : an exercise in the foundations of logic / by Krister Segerberg.
Publicado em 1982Continuing Resources -
5
-
6
Elementary set theory: proof techniques / [by] Carl E. Gordon [and] Neil Hindman.
Publicado em ©1975Livro -
7
SAT 2005 : satisfiability research in the year 2005 / edited by Enrico Giunchiglia and Toby Walsh.
Publicado em ©2006Livro -
8
-
9
-
10
-
11
Propositional and predicate calculus : a model of argument / Derek Goldrei.
Publicado em ©2005Livro -
12
-
13
Handbook of satisfiability edited by Armin Biere [and others]. [electronic resource] /
Publicado em ©2009Livro -
14
Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay.
Publicado em ©1981Livro -
15
Propositional and predicate calculus : a model of argument / Derek Goldrei.
Publicado em ©2005Livro -
16
Logic / John Nolt, Dennis Rohatyn, Achille Varzi ; abridgement editor, Alex M. McAllister.
Publicado em c2012Livro -
17
-
18
Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou.
Publicado em ©1981Livro -
19
Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou.
Publicado em c1981Livro -
20