ℹ️
🇬🇧
Search
Search for people relevant for "axiomatization"
axiomatization
Person
Class
Person
Publication
Programmes
RNDr. Karel Čuda CSc.
Person without affiliation with CUNI
3 publications
Publications
publication
Chuaqui, R. - Suppes, P.: Free variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
1996 |
Faculty of Mathematics and Physics
publication
Baratella, S. - Ferro, R.: Non standard regular finite set theory
1996 |
Faculty of Mathematics and Physics
publication
Schmerl, James H.: The isomorphism property for nonstandard universes
1996 |
Faculty of Mathematics and Physics
Loading network view...