执拗
发表于 2025-3-28 17:30:01
Karl Menger i.e., additions and deletions of ground atoms; and we define dynamic logic programs as sets of action definitions. In addition to the printed book, there is an online version of the text with an interpreter and a compiler for the language used in the text and an integrated development environment f
PHON
发表于 2025-3-28 19:32:23
Karl Menger i.e., additions and deletions of ground atoms; and we define dynamic logic programs as sets of action definitions. In addition to the printed book, there is an online version of the text with an interpreter and a compiler for the language used in the text and an integrated development environment f
胆汁
发表于 2025-3-29 02:44:50
http://reply.papertrans.cn/87/8642/864195/864195_43.png
aviator
发表于 2025-3-29 06:08:34
http://reply.papertrans.cn/87/8642/864195/864195_44.png
AMPLE
发表于 2025-3-29 09:32:58
http://reply.papertrans.cn/87/8642/864195/864195_45.png
使声音降低
发表于 2025-3-29 15:28:31
https://doi.org/10.1007/978-94-009-9347-1Ludwig Wittgenstein; Vienna; algebra; bibliography; concept; design; education; foundation; logic; mathematic
招募
发表于 2025-3-29 16:18:34
http://reply.papertrans.cn/87/8642/864195/864195_47.png
神圣不可
发表于 2025-3-29 22:46:33
http://reply.papertrans.cn/87/8642/864195/864195_48.png
洞穴
发表于 2025-3-30 03:42:48
http://reply.papertrans.cn/87/8642/864195/864195_49.png
PANEL
发表于 2025-3-30 05:06:51
An Intuitionistic-Formalistic Dictionary of Set TheoryThis chapter is a translation of the first of four articles on questions concerning the foundations of mathematics, . I remember the set-theoretician Hausdorff writing me that after reading this paper he understood for the first time what Brouwer was talking about in his definition of set.