Logic and Scientific Methods
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Netherlands

9789048147861, 9789401704878
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Decision Problems for Second-Order Linear Logic

1997 ◽  
pp. 127-143
Author(s):  
P. D. Lincoln ◽  
A. Scedrov ◽  
N. Shankar
Keyword(s):  
Linear Logic ◽  
Second Order ◽  
Decision Problems ◽  
Order Linear

What Can We Do “In Principle”?

1997 ◽  
pp. 335-354 ◽  
Author(s):  
Charles Parsons

Church’s Thesis and Hume’s Problem

1997 ◽  
pp. 159-177
Author(s):  
Kevin T. Kelly ◽  
Oliver Schulte
Keyword(s):  
Church’S Thesis ◽  
Church's Thesis

On Bounded Set Theory

1997 ◽  
pp. 85-103 ◽  
Author(s):  
Vladimir Yu. Sazonov
Keyword(s):  
Set Theory ◽  
Bounded Set

Logic in Czechoslovakia and Hungary

1997 ◽  
pp. 451-456
Author(s):  
Lev Bukovský

Explanatory Translation

1997 ◽  
pp. 399-412
Author(s):  
Veikko Rantala

The Logic of Functional Recursion

1997 ◽  
pp. 179-207 ◽  
Author(s):  
Yiannis N. Moschovakis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document