Search ResultsElektronik Kaynaklar
Arama Sonuçlarını Sınırlandır
by
Robinson, Abraham, 1918-1974.
ScienceDirect http://www.sciencedirect.com/science/book/9780444533692
Format:
Alıntı:
On the metamathematics of algebra / Robinson, Abraham, 1918-1974.
by
Boos, William, author.
Format:
Alıntı:
Metamathematics and the philosophical tradition / Boos, William, author.
by
Malʹt͡sev, A. I. (Anatoliĭ Ivanovich), 1909-1967.
ScienceDirect http://www.sciencedirect.com/science/book/9780720422665
Format:
Alıntı:
The metamathematics of algebraic systems, collected papers: 1936-1967 / Malʹt͡sev, A. I. (Anatoliĭ
by
Robinson, Abraham, 1918-1974.
Format:
Alıntı:
Introduction to model theory and to the metamathematics of algebra. Robinson, Abraham, 1918-1974.
by
Hofstadter, Douglas R.
Format:
Alıntı:
Metamathematics.
by
Szabo, M. E.
Format:
Alıntı:
Metamathematics.
by
Wang, Hao, 1921-
ScienceDirect http://www.sciencedirect.com/science/book/9780444533982
Format:
Alıntı:
-- Arithmetization of metamathematics -- Ackermann's consistency proof -- Partial systems of number theory
by
Beth, Evert Willem.
ScienceDirect http://www.sciencedirect.com/science/book/9780444533906
Format:
Alıntı:
-- Metamathematics, philosophy of mathematics and general philosophy.
by
Mostowski, Andrzej.
Format:
Alıntı:
; Chapter 1. Countable Boolean fields and their application to general metamathematics; Chapter 2. On the
by
Rieger, Ladislav, 1916-1963.
ScienceDirect http://www.sciencedirect.com/science/book/9781483231235
Format:
Alıntı:
. Principal mathematical tools of mathematical logic; 1.8. Constructivism in metamathematics
Eylem Seç