Classical Mathematical Logic
Latest Publications

TOTAL DOCUMENTS

33

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Princeton University Press

9781400841554

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Introduction

Classical Mathematical Logic ◽

10.1515/9781400841554.xxi ◽

2011 ◽

pp. xxi-xxii

Download Full-text

Acknowledgments

Classical Mathematical Logic ◽

10.1515/9781400841554.xix ◽

2011 ◽

pp. xix-xx

Download Full-text

V. Substitutions and Equivalences

Classical Mathematical Logic ◽

10.1515/9781400841554.99 ◽

2011 ◽

pp. 99-112

Download Full-text

IV. The Semantics of Classical Predicate Logic

Classical Mathematical Logic ◽

10.1515/9781400841554.69 ◽

2011 ◽

pp. 69-98

Keyword(s):

Predicate Logic ◽

Classical Predicate

Download Full-text

Index

Classical Mathematical Logic ◽

10.1515/9781400841554.499 ◽

2011 ◽

pp. 499-522

Download Full-text

XXI. Classical Predicate Logic with Non-Referring Names

Classical Mathematical Logic ◽

10.1515/9781400841554.413 ◽

2011 ◽

pp. 413-436

Keyword(s):

Predicate Logic ◽

Classical Predicate

Download Full-text

XVIII. One-Dimensional Geometry

Classical Mathematical Logic ◽

10.1515/9781400841554.331 ◽

2011 ◽

pp. 331-362

Keyword(s):

One Dimensional

Download Full-text

XII. Formalizing Group Theory

Classical Mathematical Logic ◽

10.1515/9781400841554.191 ◽

2011 ◽

pp. 191-206

Keyword(s):

Group Theory

Download Full-text

Summary of Formal Systems

Classical Mathematical Logic ◽

10.1515/9781400841554.475 ◽

2011 ◽

pp. 475-486

Keyword(s):

Formal Systems

Download Full-text

XIX. Two-Dimensional Euclidean Geometry

Classical Mathematical Logic ◽

10.1515/9781400841554.363 ◽

2011 ◽

pp. 363-402

Keyword(s):

Euclidean Geometry ◽

Two Dimensional

Download Full-text