Books Online Store Global Online Shopping Center UK | Germany
apparel   jewelry   musical instruments   beauty   health   sports   office  
books   baby   camera   computers   dvd   games   electronics   garden   kitchen   magazines   music   phones   software   tools   toys   video  
 Help  
Books - Science - Mathematics - Pure Mathematics - Predicate & Propositional Calculus

41-60 of 70     Back   1   2   3   4   Next 20
Favorite ListSimple List

click price to see details     click image to enlarge     click link to go to the store

41. Connection graphs and decidable
42. Introduction to mathematical theory
43. Logic 1: Propositional logic
44. The propositional dynamic logic
45. On the lengths of proofs in the
46. [Note on a modal system of Feys-von
47. Some computational aspects of
48. A satisfiability tester for non-clausal
49. A categorical treatment of pre-
50. On the single axioms of protothetic
51. Essays in matrix semantics of
52. Propositional logic: A student
53. Model-theoretic methods in methodology
54. Describing graphs: A first-order
55. A logic form data and knowledge
56. A rigorous logic basis for the
57. Using symmetry and substitution
58. Six lectures on dynamic logic
59. Math 125 B: Math notes
60. Propositional dynamic logics of

41. Connection graphs and decidable theories (Cognitive science research reports)
by University of Sussex, School of Cognitive Science, Cognitive Studies Programme
Unknown Binding (1987)

Isbn: B0007BK6D8
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Automatic theorem proving    2. Graph theory    3. Predicate calculus   


42. Introduction to mathematical theory of computation
by MacGraw-Hill
Unknown Binding (1972)

Isbn: B00072VPHS
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Computable functions    2. Electronic digital computers    3. Machine theory    4. Predicate calculus    5. Programming    6. Turing machines   


43. Logic 1: Propositional logic
by Institute of Sonology, State University Utrecht
Unknown Binding (1976)

Isbn: B0007AZWJ2
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Logic, Symbolic and mathematical    2. Proposition (Logic)    3. Propositional calculus   


44. The propositional dynamic logic of deterministic, well-structured programs (MIT/laboratory for computer science technical memoranda)
by Massachusetts Institute of Technology, Laboratory for Computer Science
Unknown Binding (1981)

Isbn: B0006XUHZY
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Logic, Symbolic and mathematical    2. Predicate calculus    3. Programming (Mathematics)   


45. On the lengths of proofs in the propositional calculus
by Department of Computer Science, University of Toronto
Unknown Binding (1975)

Isbn: B0007AL9UI
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Propositional calculus   


46. [Note on a modal system of Feys-von Wright (Journal of computing systems. [Offprint])
by [s.n.]
Unknown Binding (1953)

Isbn: B0007I8OFS
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Modality (Logic)    2. Propositional calculus   


47. Some computational aspects of an order-sorted calculus: Order-sorted unification using compact representation of clauses (Rapport de recherche / Informatique ... et Mathématiques Appliquées de Grenoble)
by IMAG, Informatique et Mathématiques Appliquées de Grenoble
Unknown Binding (1988)

Isbn: B0007BNKVI
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Predicate calculus   


48. A satisfiability tester for non-clausal propositional calculus (Report / Department of Computer Science, Stanford University)
by Department of Computer Science, Stanford University
Unknown Binding (1984)

Isbn: B00072H77K
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Algorithms    2. Propositional calculus    3. Testing   


49. A categorical treatment of pre- and post-conditions (Research Report RC. International Business Machines Inc. Research Division)
by International Business Machines Inc., Thomas J. Watson Research Center
Unknown Binding (1986)

Isbn: B00070ZE36
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Computer programs    2. Predicate calculus   


50. On the single axioms of protothetic (Notre Dame journal of formal logic. [Offprint])
by Notre Dame
Unknown Binding (1960)

Isbn: B0007I8OG2
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Logic, Symbolic and mathematical    2. Propositional calculus   


51. Essays in matrix semantics of relevant logics
by Institute of Philosophy and Sociology, Polish Academy of Sciences
Unknown Binding (1980)

Isbn: B0007B4292
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Entailment (Logic)    2. Logic, Symbolic and mathematical    3. Predicate calculus   


52. Propositional logic: A student introduction (Aston educational enquiry monograph)
by Dept. of Educational Enquiry, University of Aston in Birmingham
Unknown Binding (1976)

Isbn: B0007AMNR6
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Problems, exercises, etc    2. Proposition (Logic)    3. Propositional calculus   


53. Model-theoretic methods in methodology of propositional calculi
by Polish Academy of Sciences, Institute of Philosophy and Sociology
Unknown Binding (1980)

Isbn: B0007B0UCK
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Propositional calculus   


54. Describing graphs: A first-order approach to graph canonization (Technical report. Yale University. Dept. of Computer Science)
by Yale University, Dept. of Computer Science
Unknown Binding (1988)

Isbn: B00071DF6I
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Algorithms    2. Combinatorial analysis    3. Graph theory    4. Logic, Symbolic and mathematical    5. Predicate calculus   


55. A logic form data and knowledge bases (Rapports de recherche. Université Paris-Sud. Centre d'Orsay. Laboratoire de recherche en informatique)
by Université de Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique
Unknown Binding (1986)

Isbn: B0007BH59G
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Data structures (Computer science)    2. Predicate calculus   


56. A rigorous logic basis for the science of programming / by P.A. Collier and C.A. Lakos
by Dept. of Information Science, University of Tasmania ;
Unknown Binding (1984)

Isbn: B0007BSAEA
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Predicate calculus    2. Programming languages (Electronic computers)    3. Semantics   


57. Using symmetry and substitution in program derivation (Uppsala University. Computing Science Dept., Uppsala Programming Methodology and Artificial Intelligence Laboratory. UPMAIL technical report)
by Uppsala University, Computing Science Dept., Uppsala Programming Methodology and Artificial Intelligence Laboratory
Unknown Binding (1985)

Isbn: B0007BH6YA
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Logic programming    2. Logic, Symbolic and mathematical    3. Predicate calculus   


58. Six lectures on dynamic logic (MIT/ Laboratory for Computer Science Technical Memoranda)
by Massachusetts Institute of Technology, Laboratory for Computer Science
Unknown Binding (1979)

Isbn: B0006XTSKO
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Data processing    2. Logic, Symbolic and mathematical    3. Mathematics    4. Predicate calculus    5. Propositional calculus   


59. Math 125 B: Math notes
by Dept. of Mathematics, University of California
Unknown Binding (1963)

Isbn: B0007H2C52
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Predicate calculus   


60. Propositional dynamic logics of programs: A survey (MIT/laboratory for computer science technical memoranda)
by Massachusetts Institute of Technology, Laboratory for Computer Science
Unknown Binding (1981)

Isbn: B0006XUHMW
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Algebra    2. Logic, Symbolic and mathematical    3. Predicate calculus    4. Programming (Mathematics)   


41-60 of 70     Back   1   2   3   4   Next 20
Prices listed on this site are subject to change without notice.
Questions on ordering or shipping? click here for help.

Top