Osnovanija matematiki : Teorija dokazateľsv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Livre |
| Langue: | russe |
| Publié: |
Moskva :
Nauka,
1982
|
| Édition: | Per. s nem. |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires: Osnovanija matematiki :
- Osnovanija matematiki = Grunlagen der Mathematik. 1 : Logičeskije isčislenija i formalizacija aritmetiki
- Osnovanija matematiki = Die Begriffswelt der Mathematik
- Osnovanija intuicionistskoj matematiki s točki zvonija teorii rekursivnych funkcij
- Osnovanija, fundamenty i podzemnyje sooruženija
- Logičeskaja semantika i filosofskije osnovanija logiki
- Základy numerické matematiky