Vol-3732⫷ Vol-3733 ⫸Vol-3734
urn:nbn:de:0074-3733-0


Vol-3733/paper4⫷Vol-3733/paper5⫸Vol-3733/paper6
Dariusz MarzecLidia Tendera

On Two-variable First-order Logic with a Partial Order