Alex' Garden
アレックスの庭
Search
Search
Search
Light mode
Dark mode
Folder: 5_Archive/Uni/Modules/Modules/LSW/VL/VL04
32 items under this folder.
Dec 18, 2024
↔️ Universal implication
Dec 18, 2024
◻️ Class element
Dec 18, 2024
♊ Linguistic sign
Dec 18, 2024
✅ Permissible argument (LSW)
Dec 18, 2024
❌ Incomplete symbol
Dec 18, 2024
⬆️ Object construction
Dec 18, 2024
🌕 Extensive whole
Dec 18, 2024
🐶 Quasi object
Dec 18, 2024
👉 Explicit constructional definition
Dec 18, 2024
👐 Definition in use
Dec 18, 2024
👥 Extensional procedure
Dec 18, 2024
💍 Propositional function
Dec 18, 2024
💎 Pure object type
Dec 18, 2024
💑 Isogeny
Dec 18, 2024
💘 Dependent sign
Dec 18, 2024
📃 Constructional definition
Dec 18, 2024
📈 Constructional levels
Dec 18, 2024
📕 Relation extension
Dec 18, 2024
📘 Class (LsW)
Dec 18, 2024
🔗 Extension statement
Dec 18, 2024
🔗 Extension
Dec 18, 2024
🔣 Extension symbol
Dec 18, 2024
🔽 Logical complex
Dec 18, 2024
🔽 Object reducibility
Dec 18, 2024
🔽 Subclass (LsW)
Dec 18, 2024
😡 Allogenism
Dec 18, 2024
🚙 Autonomous complex
Dec 18, 2024
🤷♂️ Ethics
Dec 18, 2024
🧑🤝🧑 Coextensiveness
Dec 18, 2024
🧑🦳 Proper name
Dec 18, 2024
🪐 Object sphere
Dec 18, 2024
🪜 Ascension form