Theoremus
Latest Publications

TOTAL DOCUMENTS

8
(FIVE YEARS 8)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030683740, 9783030683757
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal System for FOL

Theoremus ◽  
2021 ◽  
pp. 93-119
Author(s):  
Lito Perez Cruz
Keyword(s):  
Formal System

Types of Theorems

Theoremus ◽  
2021 ◽  
pp. 19-24
Author(s):  
Lito Perez Cruz

Types of Proof Techniques

Theoremus ◽  
2021 ◽  
pp. 43-56
Author(s):  
Lito Perez Cruz
Keyword(s):  
Proof Techniques

Formal System for PL

Theoremus ◽  
2021 ◽  
pp. 59-91
Author(s):  
Lito Perez Cruz
Keyword(s):  
Formal System

Introduction

Theoremus ◽  
2021 ◽  
pp. 3-6
Author(s):  
Lito Perez Cruz

Theorems and Proofs

Theoremus ◽  
2021 ◽  
pp. 7-17
Author(s):  
Lito Perez Cruz

Doing the Math

Theoremus ◽  
2021 ◽  
pp. 121-129
Author(s):  
Lito Perez Cruz

Logical Foundations of Proof

Theoremus ◽  
2021 ◽  
pp. 25-42
Author(s):  
Lito Perez Cruz
Keyword(s):  
Logical Foundations
Load More ...
Sign in / Sign up

Export Citation Format

Share Document