Mathematics :: Predicate & Propositional Calculus Books
Choose category:
Applied
Biomathematics
Computer Mathematics
Differential Equations
Engineering
Graph Theory
Linear Programming
Probability & Statistics
Vector Analysis
Geometry & Topology
Algebraic Geometry
Analytic Geometry
Differential Geometry
Non-Euclidean Geometries
Topology
Infinity
Logic
Mathematical Analysis
Mathematical Physics
Matrices
Mensuration
Number Systems
Popular & Elementary
Arithmetic
Counting & Numeration
Pre-Calculus
Pure Mathematics
Algebra
Calculus
Combinatorics
Discrete Mathematics
Finite Mathematics
Fractals
Functional Analysis
Group Theory
Number Theory
Predicate & Propositional Calculus
Set Theory
Reference
Research
Study & Teaching
Transformations
Trigonometry
»
Mathematics
»
Pure Mathematics
»
Predicate & Propositional Calculus
Sitemap:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Prelude to cycle 23 the case for a fast-rising, large amplitude cycle (SuDoc NAS 1.60:3654)
-
NASA
Model-theoretic methods in methodology of propositional calculi
-
Janusz Czelakowski
Digital formulation and computational methods for some aspects of the functional calculus of symbolic logic (Technical memorandum / Johns Hopkins Univ
-
Robert Steven Ledley
Jagged bite problem NP-complete construction (Report. University of California, Berkeley. Computer Science Division)
-
Kris Hildrum
Algebraic decomposition of non-convex polyhedra (Report)
-
Herbert Edelsbrunner
Propositional logic: A student introduction (Aston educational enquiry monograph)
-
Alan W Foster
Transforming logical rules by relational algebra (Technical report. Rutgers University. Department of Computer Science. Laboratory for Computer Scienc
-
Tomasz Imieliński
[Note on a problem of Paul Bernays (Journal of symbolic logic. [Offprint])
-
Bolesław Sobociński
Consistency and completeness of the deduction system of Deduce
-
Dianne Ellen Britton
Definable quantifiers in second order arithmetic and elementary extensions of [Greek letter omega]-models (Rozprawy matematyczne)
-
Wojciech Guzicki
Klassische und nichtklassische Aussagenlogik (Logik und Grundlagen der Mathematik)
-
Wolfgang Rautenberg
The propositional dynamic logic of deterministic, well-structured programs (MIT/laboratory for computer science technical memoranda)
-
Joseph Y Halpern
Logic of Plurality
-
J.E.J. Altham
A categorical view of weakest liberal preconditions (Research report RC. International Business Machine Inc. Research Division)
-
Eric G Wagner
A logical-form and knowledge-base design for natural language generation (ISI reprint series. University of Southern California. Information Sciences
-
Norman K Sondheimer
Program verification in a logical theory of constructions (Report. Programming Methodology Group / University of Göteborg and Chalmers University of
-
Peter Dybjer
On the single axioms of protothetic (Notre Dame journal of formal logic. [Offprint])
-
Bolesław Sobociński
Can fair choice be added to Dijkstra's calculus (SRC reports)
-
M Broy
A categorical treatment of pre- and post-conditions (Research Report RC. International Business Machines Inc. Research Division)
-
Eric G Wagner
[Note on a modal system of Feys-von Wright (Journal of computing systems. [Offprint])
-
Bolesław Sobociński
Simultaneous construction of refutations and models for propositional formulas (Technical report / Computer Research Laboratory, UCSC)
-
Allen Van Gelder
On the complexity of the satisfiability problem (Courant computer science report)
-
Allen T Goldberg
On quantification (Stony Brook working papers)
-
C. Robert Wichers
Semantic modeling of data using binary schemata (Technical report. University of California, Santa Barbara. College of Engineering. Dept. of Computer
-
Naphtali Rishe
A logic form data and knowledge bases (Rapports de recherche. Université Paris-Sud. Centre d'Orsay. Laboratoire de recherche en informatique)
-
Nicholas Spyratos
On the axiomatisation of a knowledge representation logic (Rapports de recherche. Université de Paris-Sud. Centre d'Orsay. Laboratoire de Recherche e
-
C Lecluse
Completeness, Compactness and Undecidability
-
Alfred B. Manaster
On the semantics of infinite computations in logic programs (Research reports on information sciences)
-
Yasubumi Sakakibara
Propositional dynamic logics of programs: A survey (MIT/laboratory for computer science technical memoranda)
-
Rohit Parikh
Logic 1: Propositional logic
-
Werner Kaegi
On the lengths of proofs in the propositional calculus
-
Robert A Reckhow
Calculation of semi-flows of PR/T-systems (Rapports de recherche. Université Paris-Sud. Centre d'Orsay. Laboratoire de recherche en informatique)
-
Jacques Vautherin
Lectures on propositional calculi
-
Ryszard Wojcicki
Extensions to the logical inference model (Information technology technical report)
-
Andrew Parle
Equational characterization of Nelson algebras (Notas de lógica matemática)
-
Diana Brignole
Beginning Logic
-
Logic: Form and function - The Mechanization of Deductive Reasoning
-
John Alan Robinson
Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Pa
-
Towards constructive induction in first-order predicate calculus (TIRM)
-
S Muggleton
Unification in boolean rings an unquantified formulae of first order predicate calculus (Technical report series. University of Manchester. Dept. of C
-
Ursula Martin
Meta-logical control for logic programs (Technical report series. New South Wales Institute of Technology. School of Computing Sciences)
-
Thomas Vasak
On simplifying the matrix of a wff (Report / Carnegie Institute of Technology. Dept. of Mathematics)
-
P. B Andrews
Resolution with merging (Report / Carnegie Institute of Technology. Dept. of Mathematics)
-
P. B Andrews
A satisfiability tester for non-clausal propositional calculus ([Technical report / Computer Research Laboratory, UCSC)
-
Allen Van Gelder
An introduction to the model theory of first-order predicate logic and a related temporal logic (Memorandum / Rand Corporation)
-
Robert Mattison
An algebraic decomposition method for regular curves (Technical report. Royal Institute of Technology)
-
Huichun Feng
Essays in matrix semantics of relevant logics
-
Marek Tokarz
Investigations into the equivalence connective (Rozprawy habilitacyjne / Uniwersytet Jagielloński)
-
Jacek K Kabziński
Embedding first order predicate logic in fragments of intuitionistic logic (Report - Mathematisch Instituut)
-
M. H Löb
Math 125 B: Math notes
-
Leon Henkin
Aussagenlogik, Mengen, Relationen (Studienbucher Mathematik)
-
Hans-Dieter Gerster
Single axioms for the classical equivalential calculus (University of Auckland. Dept. of Mathematics. Report series)
-
Jeremy George Peterson
Existence and the particular quantifier (Philosophical monographs)
-
Alex Orenstein
Introduction to mathematical theory of computation
-
Zohar Manna
Some computational aspects of an order-sorted calculus: Order-sorted unification using compact representation of clauses (Rapport de recherche / Infor
-
Gilles Chaminade
Six lectures on dynamic logic (MIT/ Laboratory for Computer Science Technical Memoranda)
-
Vaughan R Pratt
A logic for partial functions (Technical report series. University of Manchester. Dept. of Computer Science)
-
Jen Huan Cheng
Radiology
|
Rights
|
Natural History
|
Genetics
|
Pottery & Ceramics
|
Privacy Policy
