ExLibris header image
SFX Logo
Title: A Free Variable Version of the First-Order Predicate Calculus
Source:

Journal of Logic and Computation [0955-792X] DAVIS, MARTIN yr:1991


Collapse list of basic services Basic
Full text
Full text available via Oxford University Press Journals Digital Archive Legacy
GO
Document delivery
Request document via Library/Bibliothek GO

Expand list of advanced services Advanced
A service provided by the Library of the Wissenschaftspark Albert Einstein, Potsdam, Germany.
© 2005 SFX by Ex Libris Inc.