Proof Analysis
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Cambridge University Press

9781139003513
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Linear order

2011 ◽  
pp. 113-130
Author(s):  
Sara Negri ◽  
Jan von Plato
Keyword(s):  
Linear Order

Proof analysis in elementary geometry

2011 ◽  
pp. 157-182
Author(s):  
Sara Negri ◽  
Jan von Plato
Keyword(s):  
Elementary Geometry ◽  
Proof Analysis

Preface

2011 ◽  
pp. ix-xii
Author(s):  
Sara Negri ◽  
Jan von Plato

Theories with existence axioms

2011 ◽  
pp. 68-82
Author(s):  
Sara Negri ◽  
Jan von Plato

Rules of proof: natural deduction

2011 ◽  
pp. 17-38
Author(s):  
Sara Negri ◽  
Jan von Plato
Keyword(s):  
Natural Deduction

Order and lattice theory

2011 ◽  
pp. 50-67
Author(s):  
Sara Negri ◽  
Jan von Plato
Keyword(s):  
Lattice Theory

Classical and intuitionistic axiomatics

2011 ◽  
pp. 147-156
Author(s):  
Sara Negri ◽  
Jan von Plato

Prologue: Hilbert's last problem

2011 ◽  
pp. 1-2
Author(s):  
Sara Negri ◽  
Jan von Plato

Axiomatic systems

2011 ◽  
pp. 39-49
Author(s):  
Sara Negri ◽  
Jan von Plato
Keyword(s):  
Axiomatic Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document