A Logical Introduction to Proof
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer New York

9781461436300, 9781461436317
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Core Concepts in Abstract Algebra

2012 ◽  
pp. 239-291
Author(s):  
Daniel W. Cunningham
Keyword(s):  
Abstract Algebra ◽  
Core Concepts

Functions

2012 ◽  
pp. 169-207
Author(s):  
Daniel W. Cunningham

Proof Strategies and Diagrams

2012 ◽  
pp. 61-98
Author(s):  
Daniel W. Cunningham

Propositional Logic

2012 ◽  
pp. 1-28
Author(s):  
Daniel W. Cunningham
Keyword(s):  
Propositional Logic

Relations

2012 ◽  
pp. 209-237
Author(s):  
Daniel W. Cunningham

Mathematical Induction

2012 ◽  
pp. 99-141
Author(s):  
Daniel W. Cunningham
Keyword(s):  
Mathematical Induction

Set Theory

2012 ◽  
pp. 143-168
Author(s):  
Daniel W. Cunningham
Keyword(s):  
Set Theory

Core Concepts in Real Analysis

2012 ◽  
pp. 293-340
Author(s):  
Daniel W. Cunningham
Keyword(s):  
Real Analysis ◽  
Core Concepts

Predicate Logic

2012 ◽  
pp. 29-60 ◽  
Author(s):  
Daniel W. Cunningham
Keyword(s):  
Predicate Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document