Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
  • S skripte
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 0
    • Issues 0
    • List
    • Boards
    • Service Desk
    • Milestones
    • Requirements
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Code review
    • Insights
    • Issue
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Felix Linker
  • skripte
  • Merge requests
  • !2
The source project of this merge request has been removed.

ein paar kleinere korrekturen

Merged Tobias Rosenkranz requested to merge (removed):logik_modelltheorie into logik_modelltheorie Jun 29, 2018
  • Overview 4
  • Pipelines 0
  • Changes 1

ich habe ein paar tippfehler gefunden und auch an manchen stellen kleinere änderungen vorgenommen, die meiner meinung nach den inhalt klarer machen.

außerdem gibt es für das mengenkomplement ein eigenes symbol, du könntest also A^\complement statt A^C schreiben, aber weil das letztendlich geschmackssache ist, wollte ich dir da nicht reinpfuschen.

vielen dank für deine mühen!

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: logik_modelltheorie