Truth, Proof and Infinity
Latest Publications

TOTAL DOCUMENTS

49

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Netherlands

9789048151059, 9789401736169

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Hilbert’s Formalism

Truth, Proof and Infinity ◽

10.1007/978-94-017-3616-9_9 ◽

1998 ◽

pp. 98-116

Author(s):

Peter Fletcher

Download Full-text

Theories of Constructions

Truth, Proof and Infinity ◽

10.1007/978-94-017-3616-9_8 ◽

1998 ◽

pp. 82-97

Author(s):

Peter Fletcher

Download Full-text

The Need for a Theory of Constructions

Truth, Proof and Infinity ◽

10.1007/978-94-017-3616-9_7 ◽

1998 ◽

pp. 77-81

Author(s):

Peter Fletcher

Download Full-text

What are Constructions?

Truth, Proof and Infinity ◽

10.1007/978-94-017-3616-9_5 ◽

1998 ◽

pp. 51-69

Author(s):

Peter Fletcher

Download Full-text

From Second-Order Calculus of Proof Functions to Second-Order Logic of Partial Terms

Truth, Proof and Infinity ◽

10.1007/978-94-017-3616-9_43 ◽

1998 ◽

pp. 417-423

Author(s):

Peter Fletcher

Keyword(s):

Second Order ◽

Order Logic ◽

Second Order Logic

Download Full-text

From Expanded Protologic to the Second-Order Coding of Trees

Truth, Proof and Infinity ◽

10.1007/978-94-017-3616-9_37 ◽

1998 ◽

pp. 395-399

Author(s):

Peter Fletcher

Keyword(s):

Second Order

Download Full-text

Introduction to Part IV

Truth, Proof and Infinity ◽

10.1007/978-94-017-3616-9_36 ◽

1998 ◽

pp. 392-394

Author(s):

Peter Fletcher

Download Full-text

What’s Wrong with Infinite Quantifiers?

Truth, Proof and Infinity ◽

10.1007/978-94-017-3616-9_3 ◽

1998 ◽

pp. 24-40

Author(s):

Peter Fletcher

Download Full-text

The Coding of Trees

Truth, Proof and Infinity ◽

10.1007/978-94-017-3616-9_22 ◽

1998 ◽

pp. 253-256

Author(s):

Peter Fletcher

Download Full-text

What’s Wrong with Set Theory?

Truth, Proof and Infinity ◽

10.1007/978-94-017-3616-9_2 ◽

1998 ◽

pp. 13-23

Author(s):

Peter Fletcher

Keyword(s):

Set Theory

Download Full-text