euphoria 发表于 2025-3-23 13:32:01

Grundzüge der Mathematischen Logik978-3-642-94814-5Series ISSN 0072-7830 Series E-ISSN 2196-9701

ARY 发表于 2025-3-23 16:44:04

http://reply.papertrans.cn/40/3905/390471/390471_12.png

先兆 发表于 2025-3-23 21:29:02

http://reply.papertrans.cn/40/3905/390471/390471_13.png

BOOR 发表于 2025-3-23 23:53:05

http://reply.papertrans.cn/40/3905/390471/390471_14.png

惰性气体 发表于 2025-3-24 05:21:14

,Prädikatenkalkül mit Identität (I-Kalkül), Komplement: die Verschiedenheit. Sie unterscheiden sich vom Null- und vom Allattribut formal durch ihren zweistelligen Charakter; denn das Null- und das Allattribut sind sinnvoll für jede endliche Stellenzahl.

mitral-valve 发表于 2025-3-24 07:55:19

,Einführung in die Stufenlogik,ne vor, daß bestimmte Funktionen oder Attribute als Grundbegriffe durch Axiome charakterisiert werden, sondern bei der Beschreibung der Grundbegriffe wird nach Bedarf auch von . Funktionen oder Attributen mit gewissen Eigenschaften gesprochen.

凹处 发表于 2025-3-24 14:34:29

Thomas Whitaker,Andrew Slate,Andrew Cannavancheidung vollständig erfaßt werden können, heißen .. Beispiele: (1),,7 ist eine Primzahl“, (2) ,,1 ist kleiner als 2“, (3) „2 liegt zwischen 1 und 3“. Subjekte: in (1) die Ziffer 7̄, in (2) das geordnete Ziffernpaar (1̄, 2̄), in (3) das geordnete Zifferntripel (2̄, 1̄, 3̄). Es sollen auch funktional

Glycogen 发表于 2025-3-24 18:37:11

http://reply.papertrans.cn/40/3905/390471/390471_18.png

insular 发表于 2025-3-24 20:48:36

http://reply.papertrans.cn/40/3905/390471/390471_19.png

恶臭 发表于 2025-3-24 23:20:35

Gleitklauseln im Geld- und Kapitalverkehrt possible, the chapter highlights the case of unrepeatable experiments. Evaluation of friction velocity under flood conditions basing on the Saint-Venant set of equations serves as an example of indirect measurement of physical quantity.
页: 1 [2] 3 4
查看完整版本: Titlebook: ;