Metamathematics of first-order arithmetic von Hájek, Petr, Pudlák, Pavel 1952-

BSB01
FHN01
URL des Erstveröffentlichers

Arithmetic for parents a book for grown-ups about children's mathematics von Aharoni, Ron

FHN01
URL des Erstveroeffentlichers

Truth & assertibility von Weaver, Nik

FHN01
URL des Erstveroeffentlichers

Introduction to logic and to the methodology of the deductive sciences von Tarski, Alfred

FAW01
FAW02
Volltext

Finite precision number systems and arithmetic von Kornerup, Peter

BSB01
FHN01
URL des Erstveröffentlichers

Architecture of mathematics von Serovajskij, Semen Jakovlevič 1954-

Inhaltsverzeichnis

Logique arithmétique l'arithmétisation de la logique von Gauthier, Yvon

FAW01
FAW02
Volltext

The number-system von Thurston, Hugh Ansfrid

Ordinal algebras von Tarski, Alfred

Volltext

Number systems structure and properties von Pettofrezzo, Anthony J., Hight, Donald W.

Numbers, sets, and axioms the apparatus of mathematics von Hamilton, A. G. 1943-

BSB01
FHN01
URL des Erstveröffentlichers

Recursive number theory a development of recursive arithmetic in a logic-free equation calculus von Goodstein, R. L., (Reuben Louis)

Volltext

The number systems and operations of arithmetic an explanation of the fundamental principles of mathematics which underlie the understanding and use of arithmetic, designed for in-... von Klose, Orval M.

FAW01
URL des Erstveröffentlichers

Basic concepts of mathematics von Webber, George C.