A Mathematical Prelude to the Philosophy of Mathematics
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783319058153, 9783319058160

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Frege Arithmetic

A Mathematical Prelude to the Philosophy of Mathematics ◽

10.1007/978-3-319-05816-0_6 ◽

2014 ◽

pp. 123-159

Author(s):

Stephen Pollard

Download Full-text

Peano Arithmetic, Incompleteness

A Mathematical Prelude to the Philosophy of Mathematics ◽

10.1007/978-3-319-05816-0_2 ◽

2014 ◽

pp. 35-53

Author(s):

Stephen Pollard

Keyword(s):

Peano Arithmetic

Download Full-text

Intuitionist Logic

A Mathematical Prelude to the Philosophy of Mathematics ◽

10.1007/978-3-319-05816-0_7 ◽

2014 ◽

pp. 161-197

Author(s):

Stephen Pollard

Keyword(s):

Intuitionist Logic

Download Full-text

The Hierarchy of Sets

A Mathematical Prelude to the Philosophy of Mathematics ◽

10.1007/978-3-319-05816-0_5 ◽

2014 ◽

pp. 101-121

Author(s):

Stephen Pollard

Download Full-text

Recursion, Induction

A Mathematical Prelude to the Philosophy of Mathematics ◽

10.1007/978-3-319-05816-0_1 ◽

2014 ◽

pp. 1-33

Author(s):

Stephen Pollard

Download Full-text

Hereditarily Finite Lists

A Mathematical Prelude to the Philosophy of Mathematics ◽

10.1007/978-3-319-05816-0_3 ◽

2014 ◽

pp. 55-83

Author(s):

Stephen Pollard

Download Full-text

Zermelian Lists

A Mathematical Prelude to the Philosophy of Mathematics ◽

10.1007/978-3-319-05816-0_4 ◽

2014 ◽

pp. 85-100

Author(s):

Stephen Pollard

Download Full-text