Vol. 14, No. 4, 1964
Download this article
For screen
For printing
Recent Issues
Vol. 332:
1
Vol. 331:
1
2
Vol. 330:
1
2
Vol. 329:
1
2
Vol. 328:
1
2
Vol. 327:
1
2
Vol. 326:
1
2
Vol. 325:
1
2
Online Archive
Volume:
Issue:
1
2
3
4
The Journal
About the journal
Ethics and policies
Peer-review process
Submission guidelines
Submission form
Editorial board
Officers
Subscriptions
ISSN 1945-5844 (electronic)
ISSN 0030-8730 (print)
Special Issues
Author index
To appear
Other MSP journals
A decision procedure for a class of formulas of first order predicate calculus
Melven Robert Krom
Vol. 14 (1964), No. 4, 1305–1319
DOI:
10.2140/pjm.1964.14.1305
Mathematical Subject Classification
Primary: 02.54
Milestones
Received: 6 June 1963
Published: 1 December 1964
Authors
Melven Robert Krom
© Copyright 1964 Pacific Journal of Mathematics. All rights reserved.