Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by William Craig
Semigroups Underlying First-Order Logic
Memoirs of the American Mathematical Society
Mathematics
Applied Mathematics
A Cluster Randomized Controlled Trial Comparing Three Methods of Disseminating Practice Guidelines for Children With Croup [ISRCTN73394937]
Implementation Science
Environmental
Public Health
Health Informatics
Health Policy
Medicine
Occupational Health
Related publications
First-Order Dynamic Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Geometrisation of First-Order Logic
Bulletin of Symbolic Logic
Philosophy
Logic
CIFOL: Case-Intensional First Order Logic
Journal of Philosophical Logic
Philosophy
Literal Projection for First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Blocked Clauses in First-Order Logic
A Short Tutorial on Order-Invariant First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Complexity of Existential Positive First-Order Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
A Denotational Semantics for First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fixed-Point Extensions of First-Order Logic
Annals of Pure and Applied Logic
Logic
