软膏 发表于 2025-3-23 11:33:33

http://reply.papertrans.cn/51/5017/501674/501674_11.png

Nonflammable 发表于 2025-3-23 15:00:37

http://reply.papertrans.cn/51/5017/501674/501674_12.png

GOAD 发表于 2025-3-23 18:22:29

Overview: 978-3-540-12211-1978-3-642-61724-9

Alienated 发表于 2025-3-24 00:11:58

http://reply.papertrans.cn/51/5017/501674/501674_14.png

高谈阔论 发表于 2025-3-24 02:46:12

http://reply.papertrans.cn/51/5017/501674/501674_15.png

光亮 发表于 2025-3-24 07:51:21

http://reply.papertrans.cn/51/5017/501674/501674_16.png

阴谋小团体 发表于 2025-3-24 11:34:28

JunktorenIn diesem Kapitel behandeln wir die Logik der Aussagenverknüpfungen oder .. Dabei beziehen wir uns nicht auf natürliche Aussagesätze, sondern auf die Sätze einer sehr einfachen formalen Sprache J, die wir später verfeinern werden.

Magnificent 发表于 2025-3-24 16:28:33

http://reply.papertrans.cn/51/5017/501674/501674_18.png

虚情假意 发表于 2025-3-24 22:19:58

http://reply.papertrans.cn/51/5017/501674/501674_19.png

rheumatology 发表于 2025-3-24 23:52:03

http://reply.papertrans.cn/51/5017/501674/501674_20.png
页: 1 [2] 3 4
查看完整版本: Titlebook: Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließ; Wolfgang Stegmüller,Matthias Varga K