About DML-CZ
|
FAQ
|
Conditions of Use
|
Math Archives
|
Contact Us
DML-CZ Home
12 Field theory and polynomials
12Lxx Connections with logic
12L15 Nonstandard arithmetic (1 articles)
Mlček, Josef
:
A representation of models of Peano arithmetic
.
(English).
Commentationes Mathematicae Universitatis Carolinae
,
vol. 14 (1973), issue 3
,
pp. 553-558
Search
Advanced Search
Browse
Collections
Titles
Authors
MSC
About DML-CZ
Partner of