PhilPapers
PhilPeople
PhilArchive
PhilEvents
PhilJobs
Sign in
Sign in
News Feed
Find Philosophers
Departments
Radar
Help
Drag to reposition
Save
Cancel
David Maier
Columbia University
Home
Publications
2
Most Recent
Most Downloaded
Topics
News and Updates
More details
Columbia University
Department of Philosophy
PhD, 2002
All publications (
2
)
4
Computing with Logic: Logic Programming with Prolog
with David S. Warren
Prentice-Hall
. 1988.
Computing with logic / Maier, D., Warren, D.S.
Logics
32
Principles of Database Systems
with Jeffrey D. Ullman, Ashok K. Chandra, and David Harel
Journal of Symbolic Logic
51 (4): 1079-1084. 1986.
Logic and Philosophy of Logic
Logics