瘦削
发表于 2025-3-21 18:05:40
书目名称Mengenlehre und ihre Logik影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0630594<br><br> <br><br>书目名称Mengenlehre und ihre Logik影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0630594<br><br> <br><br>书目名称Mengenlehre und ihre Logik网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0630594<br><br> <br><br>书目名称Mengenlehre und ihre Logik网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0630594<br><br> <br><br>书目名称Mengenlehre und ihre Logik被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0630594<br><br> <br><br>书目名称Mengenlehre und ihre Logik被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0630594<br><br> <br><br>书目名称Mengenlehre und ihre Logik年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0630594<br><br> <br><br>书目名称Mengenlehre und ihre Logik年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0630594<br><br> <br><br>书目名称Mengenlehre und ihre Logik读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0630594<br><br> <br><br>书目名称Mengenlehre und ihre Logik读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0630594<br><br> <br><br>
松软
发表于 2025-3-21 22:25:19
Iteration und ArithmetikWir wollen jetzt geradewegs die Definitionen von Summe, Produkt und Potenz ansteuern, die wir in (5) von Kapitel 11 betrachtet haben, und dazu wenden wir uns zunächst den Definitionen von Seq und z. zu, die wir in (7) und (8) desselben Paragraphen erörtert haben.
针叶树
发表于 2025-3-22 03:53:59
Reelle ZahlenWir haben gesehen, wie das Begriffssystem der Theorie der Klassen die Erfordernisse der Arithmetik der natürlichen Zahlen erfüllt. Es reicht sogar noch für weitere Arten von Zahlen aus. Wir wollen uns jetzt den rationalen Zahlen zuwenden (und dabei, jedenfalls für den Augenblick, negative Zahlen außer Acht lassen).
包裹
发表于 2025-3-22 06:19:55
http://reply.papertrans.cn/64/6306/630594/630594_4.png
Brittle
发表于 2025-3-22 09:45:02
http://reply.papertrans.cn/64/6306/630594/630594_5.png
Esophagus
发表于 2025-3-22 16:46:02
Universelle Variablen und ZermeloEs darf nicht angenommen werden, daß die Konvention der typenmäßigen Mehrdeutigkeit damit, daß sie die Indizes, die die unterscheidenden Merkmale der vielen Variablensorten sind, unterdrückt, auch die Wirkung hat, die Typentheorie der einsortigen oder einfachen Quantorenlogik anzupassen. Eine Formel wie z.B.
否认
发表于 2025-3-22 20:41:21
http://reply.papertrans.cn/64/6306/630594/630594_7.png
耕种
发表于 2025-3-23 00:40:12
978-3-528-08294-9Springer Fachmedien Wiesbaden 1973
frugal
发表于 2025-3-23 03:43:38
Overview: 978-3-528-08294-9978-3-322-85943-3
或者发神韵
发表于 2025-3-23 07:10:50
http://reply.papertrans.cn/64/6306/630594/630594_10.png