Advanced Logic for Applications
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Netherlands

9789027710345, 9789401011914

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Gödel’s Incompleteness Theorems: Preliminary Discussion

Advanced Logic for Applications ◽

10.1007/978-94-010-1191-4_6 ◽

1979 ◽

pp. 49-54

Author(s):

Richard E. Grandy

Keyword(s):

Preliminary Discussion ◽

Incompleteness Theorems ◽

Gödel’S Incompleteness Theorems

Download Full-text

Anadic Logic

Advanced Logic for Applications ◽

10.1007/978-94-010-1191-4_14 ◽

1979 ◽

pp. 151-160

Author(s):

Richard E. Grandy

Download Full-text

Some Recursive Function Theory

Advanced Logic for Applications ◽

10.1007/978-94-010-1191-4_10 ◽

1979 ◽

pp. 97-104

Author(s):

Richard E. Grandy

Keyword(s):

Recursive Function ◽

Function Theory

Download Full-text

Gödel’s Second Incompleteness Theorem

Advanced Logic for Applications ◽

10.1007/978-94-010-1191-4_8 ◽

1979 ◽

pp. 72-84

Author(s):

Richard E. Grandy

Keyword(s):

Incompleteness Theorem

Download Full-text

Quantification Theory with Identity and Functional Constants

Advanced Logic for Applications ◽

10.1007/978-94-010-1191-4_4 ◽

1979 ◽

pp. 37-42

Author(s):

Richard E. Grandy

Keyword(s):

Quantification Theory

Download Full-text

Derivation Rules and Completeness

Advanced Logic for Applications ◽

10.1007/978-94-010-1191-4_2 ◽

1979 ◽

pp. 13-20

Author(s):

Richard E. Grandy

Download Full-text

Second Order Logic

Advanced Logic for Applications ◽

10.1007/978-94-010-1191-4_12 ◽

1979 ◽

pp. 116-130

Author(s):

Richard E. Grandy

Keyword(s):

Second Order ◽

Order Logic ◽

Second Order Logic

Download Full-text

Undecidability and Incompleteness

Advanced Logic for Applications ◽

10.1007/978-94-010-1191-4_7 ◽

1979 ◽

pp. 55-71

Author(s):

Richard E. Grandy

Download Full-text

First Order Theories with Equality

Advanced Logic for Applications ◽

10.1007/978-94-010-1191-4_5 ◽

1979 ◽

pp. 43-48

Author(s):

Richard E. Grandy

Keyword(s):

First Order

Download Full-text

Intuitionistic Logic

Advanced Logic for Applications ◽

10.1007/978-94-010-1191-4_11 ◽

1979 ◽

pp. 105-115

Author(s):

Richard E. Grandy

Keyword(s):

Intuitionistic Logic

Download Full-text