CarpeDiem
Lukas
Innsbruck, Tirol, Austria
∀xϕx : a − ∀x − a − ϕx − b − ∃x − b
∃xϕx : a − ∃x − a − ϕx − b − ∀x − b


∀xϕx : a − ∀x − a − ϕx − b − ∃x − b
∃xϕx : a − ∃x − a − ϕx − b − ∀x − b


Currently Offline