Liczenie objętości za pomocą całek podwójnych.

[ktb]

Mam pytanie odnośnie całek podwójnych, a dokładnie liczenia objętości przy ich pomocy.
Przypuśćmy, że mamy paraboloidę : x^2+y^2-z=0 i walec x^2+y^2=4, z \ge 0 i trzeba policzyć objetość brył ograniczających.

Jak wyznaczyć do tego całkę wyjściową? To będzie całka podwójna z (4-x^2-y^2)?

[octahedron]

Potrzebne jest jeszcze jedno ograniczenie. Chodzi o płaszycznę \(OXY\) ?