Lecture Notes in Mathematics - Tableau Systems for First Order Number Theory and Certain Higher Order Theories
Latest Publications

TOTAL DOCUMENTS

4

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540071495, 9783540374428

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

First order number theory

Lecture Notes in Mathematics - Tableau Systems for First Order Number Theory and Certain Higher Order Theories ◽

10.1007/bfb0062938 ◽

1975 ◽

pp. 31-152

Author(s):

Sue Toledo

Keyword(s):

Number Theory ◽

Order Number ◽

First Order

Download Full-text

Second order logic

Lecture Notes in Mathematics - Tableau Systems for First Order Number Theory and Certain Higher Order Theories ◽

10.1007/bfb0062939 ◽

1975 ◽

pp. 153-214

Author(s):

Sue Toledo

Keyword(s):

Second Order ◽

Order Logic ◽

Second Order Logic

Download Full-text

Introduction

Lecture Notes in Mathematics - Tableau Systems for First Order Number Theory and Certain Higher Order Theories ◽

10.1007/bfb0062937 ◽

1975 ◽

pp. 1-29

Author(s):

Sue Toledo

Download Full-text

Other higher order systems due to Schütte

Lecture Notes in Mathematics - Tableau Systems for First Order Number Theory and Certain Higher Order Theories ◽

10.1007/bfb0062940 ◽

1975 ◽

pp. 215-289

Author(s):

Sue Toledo

Keyword(s):

Higher Order

Download Full-text