DECLARATIVE PROGRAMMING
Decision problem
connections to higher type Recursion Theory, Proof-Theory
Computability theoretic classifications for classes of structures
Hybrid Interactive Theorem Proving using Nuprl and HOL?
How to Go Nonmonotonic Contents David Makinson
Hilbert`s Program Then and Now
Herbrands Theorem
Binary aggregation with integrity constraints Grandi, U. - UvA-DARE
Announcement as effort on topological spaces
A Concurrent Logical Framework: The Propositional Fragment Kevin Watkins , Iliano Cervesato
? A Unified Semantic Framework for Fully
7 LOGICAL AGENTS
An Overview of Intuitionistic and Linear Logic
An Introduction to SOFL
AN EARLY HISTORY OF MATHEMATICAL LOGIC AND
a,b,c
A,B
A Simpl Shortest Path Checker Verification
Chapter 2 Propositional Logic
