Solvable Cases of the Decision Problem - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Elsevier

9780444533807

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

V Some General Theorems About the Validity of Formulas of the Predicate Calculus of First Order Including Equality

Solvable Cases of the Decision Problem - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71434-4 ◽

1954 ◽

pp. 48-59

Keyword(s):

Predicate Calculus ◽

First Order

Download Full-text

Copyright page

Solvable Cases of the Decision Problem - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71428-9 ◽

1954 ◽

pp. iv

Download Full-text

Bibliography

Solvable Cases of the Decision Problem - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71439-3 ◽

1954 ◽

pp. 108-112

Download Full-text

VII Further Classes of Prefixes for Which the Decision Problem can be Solved

Solvable Cases of the Decision Problem - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71436-8 ◽

1954 ◽

pp. 72-82

Keyword(s):

Decision Problem

Download Full-text

III Solution of the Decision Problem for Equality Formulas

Solvable Cases of the Decision Problem - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71432-0 ◽

1954 ◽

pp. 24-33

Keyword(s):

Decision Problem

Download Full-text

I Validity and Statisfiability in Finite Domains

Solvable Cases of the Decision Problem - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71430-7 ◽

1954 ◽

pp. 1-8

Keyword(s):

Finite Domains

Download Full-text

VI Solution of the Decision Problem for Wffs with Special Prefixes

Solvable Cases of the Decision Problem - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71435-6 ◽

1954 ◽

pp. 60-71

Keyword(s):

Decision Problem

Download Full-text

Index

Solvable Cases of the Decision Problem - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71440-x ◽

1954 ◽

pp. 113-114

Download Full-text

IV Solution of the Decision Problem for Well-Formed Formulas Containing Only Monadic Predicate Variables

Solvable Cases of the Decision Problem - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71433-2 ◽

1954 ◽

pp. 34-47

Keyword(s):

Decision Problem

Download Full-text

IX The Decision Problem for Wffs with Functional Variables

Solvable Cases of the Decision Problem - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71438-1 ◽

1954 ◽

pp. 98-107

Keyword(s):

Decision Problem

Download Full-text