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

Anadic Logic

1979 ◽  
pp. 151-160
Author(s):  
Richard E. Grandy

Some Recursive Function Theory

1979 ◽  
pp. 97-104
Author(s):  
Richard E. Grandy
Keyword(s):  
Recursive Function ◽  
Function Theory

Derivation Rules and Completeness

1979 ◽  
pp. 13-20
Author(s):  
Richard E. Grandy

Second Order Logic

1979 ◽  
pp. 116-130
Author(s):  
Richard E. Grandy
Keyword(s):  
Second Order ◽  
Order Logic ◽  
Second Order Logic

Undecidability and Incompleteness

1979 ◽  
pp. 55-71
Author(s):  
Richard E. Grandy

First Order Theories with Equality

1979 ◽  
pp. 43-48
Author(s):  
Richard E. Grandy
Keyword(s):  
First Order

Intuitionistic Logic

1979 ◽  
pp. 105-115
Author(s):  
Richard E. Grandy
Keyword(s):  
Intuitionistic Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document